refetching from origin #20

	name: Mirror Branch to ISYE

	on:
	push:
	branches:
	- production

	jobs:
	mirror:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout Repository
	uses: actions/checkout@v2

	- name: Push to Mirror Repository
	run: \|
	git switch production
	git fetch origin
	git pull
	rm -rf .github
	git config --global user.email ""
	git config --global user.name "GitHub Actions"
	git commit -a -m "[GitHub Action] Synced with CEC parent repo"
	git remote add mirror https://jkolb6:${{ secrets.ISYE_MIRROR_TOKEN }}@github.gatech.edu/isye-web/tmm_hai_cec
	git push mirror production --force

Provide feedback