Update GitHub Actions workflow to use actions/checkout@v2 and add rem… #4

	name: Sync to Hugging Face hub
	on:
	push:
	branches: [main]

	# to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	sync-to-hub:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0
	- name: Add remote
	env:
	HF: ${{ secrets.HF }}
	run: git remote add space https://asach:$HF@huggingface.co/spaces/asach/arxiv-plagiarism-checker-Ilm
	- name: Push to hub
	env:
	HF: ${{ secrets.HF }}
	run: git push --force https://asach:$HF@huggingface.co/spaces/asach/arxiv-plagiarism-checker-Ilm main

Provide feedback