Deleting remote mirror production branch #22

	name: Mirror Branch to ISYE

	on:
	push:
	branches:
	- production

	jobs:
	mirror:
	runs-on: ubuntu-latest

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

	- name: Update from CEC GitHub
	run: \|
	git switch production
	git fetch origin
	git pull

	- name: Remove the .github folder
	run: rm -rf .github

	- name: Commit the change
	run: \|
	git config --global user.email ""
	git config --global user.name "GitHub Actions"
	git commit -a -m "[GitHub Action] Synced with CEC parent repo"

	- name: Mirror to ISYE GitHub and push
	run: git remote add mirror https://jkolb6:${{ secrets.ISYE_MIRROR_TOKEN }}@github.gatech.edu/isye-web/tmm_hai_cec

	- name: Delete the ISYE production branch
	run: git push mirror --delete production

	- name: Push to the ISYE production branch
	run: git push mirror production --force

Provide feedback