trying force fetching

.github/workflows/mirror.yml

@@ -16,7 +16,7 @@ jobs:
       - name: Update from CEC GitHub
         run: |
           git switch production
-          git fetch origin
+          git fetch --force origin
           git pull
 
       - name: Remove the .github folder
@@ -28,7 +28,7 @@ jobs:
           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
+      - name: Add ISYE mirror
         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