github: keep branch name for regualr push events

dCache · Oct 9, 2024 · 703e5e0 · 703e5e0
1 parent e697949
commit 703e5e0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -18,6 +18,11 @@ jobs:
         run: |
           echo "current_branch=$(echo ${{ github.head_ref }})" >> $GITHUB_ENV
 
+      - name: Redefine branch on push
+        if: github.event_name == 'push'
+        run: |
+          echo "current_branch=$(echo ${{ github.ref }} | sed -E 's|refs/[a-zA-Z]+/||')" >> $GITHUB_ENV
+
       - name: Mirror + trigger CI
         uses: SvanBoxel/gitlab-mirror-and-ci-action@0.6
         with: