Skip to content

ensuring workflow does not end if production branch does not exist on… #24

ensuring workflow does not end if production branch does not exist on…

ensuring workflow does not end if production branch does not exist on… #24

Workflow file for this run

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 || true
- name: Push to the ISYE production branch
run: git push mirror production --force