Deleting remote mirror production branch

.github/workflows/mirror.yml

@@ -18,14 +18,21 @@ jobs:
           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
-          git push mirror production --force
+        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