From 703e5e00eb5a17d95286b06c08759b4d384195fc Mon Sep 17 00:00:00 2001
From: Tigran Mkrtchyan <tigran.mkrtchyan@desy.de>
Date: Wed, 9 Oct 2024 16:39:30 +0200
Subject: [PATCH] github: keep branch name for regualr push events

---
 .github/workflows/mirror.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
index 9dec392ec53..1b30a6d342a 100644
--- 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: