#84 Change one file to 100755 permission #43


	name: Sync to Repository issue84

	on:
	push:
	branches:
	- 'master'

	jobs:
	sync_back:
	runs-on: ubuntu-latest

	steps:
	- name: Setup SSH keys
	run: \|
	mkdir -p ~/.ssh
	echo "${{ secrets.SSH_PRIVATE_KEY }}" > ~/.ssh/id_ed25519
	chmod 600 ~/.ssh/id_ed25519
	ssh-keyscan github.com >> ~/.ssh/known_hosts

	- name: Checkout code from mirror
	uses: actions/checkout@v2
	with:
	ref: 'master'

	- name: Checkout dev repository
	run: \|
	git clone git@github.com:ShiqiYang2022/template_issue84.git
	git fetch --unshallow
	cd template_issue84
	git checkout 84_shift_overleaf

	- name: Merge and Push
	run: \|
	cd template_issue84
	git config pull.rebase false
	git config --global user.email "shiqi.yang2022@gmail.com"
	git config --global user.name "ShiqiYang2022"
	git pull ../ master
	git push origin 84_shift_overleaf

Provide feedback