Skip to content

fixed the push to main #29

fixed the push to main

fixed the push to main #29

Workflow file for this run

name: Mirror Branch to ISYE
on:
push:
branches:
- production
jobs:
mirror:
runs-on: ubuntu-latest
steps:
- name: Checkout CEC repository
uses: actions/checkout@v3
- name: Update CEC repository
run: |
git switch production
git fetch --force origin
git pull
- name: Remove the .github folder to avoid a recursive workflow
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: Add the ISYE repository as a mirror
run: git remote add mirror https://jkolb6:${{ secrets.ISYE_MIRROR_TOKEN }}@github.gatech.edu/isye-web/tmm_hai_cec
- name: Push to the ISYE main branch
run: git push mirror production:main --force