update_web.yml

name: Update Website
on:
  workflow_dispatch:
  push:
    branches:
      - master
    paths:
      - 'src/biomappings/resources/mappings.tsv'
      - 'src/biomappings/resources/incorrect.tsv'
      - 'src/biomappings/resources/predictions.tsv'
      - 'src/biomappings/resources/unsure.tsv'

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@master
        with:
          persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
          fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
      - uses: actions/setup-python@v2
        with:
          python-version: 3.9
      - name: Install dependencies
        run: |
          pip install tox
      - name: Create local changes
        run: tox -e update
      - name: Commit files
        run: |
          git config --local user.email "action@github.com"
          git config --local user.name "GitHub Action"
          git commit -m "🗺️ Update summaries" -a
      - name: Push changes
        uses: ad-m/github-push-action@master
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          branch: ${{ github.ref }}