Skip to content

Commit

Permalink
cd: push-to-mirror fix
Browse files Browse the repository at this point in the history
  • Loading branch information
AhmetNSimsek committed May 7, 2024
1 parent 9f9883e commit c8f120f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/push-to-mirror.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ name: '[mirror] push to mirror'

on:
push:
branches: ["master"]
branches: ["main"]
tags: ["**"]

env:
Expand All @@ -22,7 +22,7 @@ jobs:
- name: mirror to remote
run: |
git fetch --tags -f
git fetch origin master
git fetch origin main
if ! git ls-remote ebrains > /dev/null; then git remote add ebrains https://jugitpusher:${{ secrets.EBRAINS_GITLAB_PUSH_TOKEN }}@${{ vars.EBRAINS_GITLAB_HOST }}/${{ env.EBRAINS_GITLAB_REPO }}; fi
git push ebrains --tags -f
git push ebrains HEAD:master -f
git push ebrains HEAD:main -f

0 comments on commit c8f120f

Please sign in to comment.