Improve redundancy filtering (#141) #352

	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 "[email protected]"
	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 }}

Provide feedback