feat: retrieve current branch name for coverage workflow

Author: carlohcs

.github/workflows/coverage.yaml

@@ -123,6 +123,10 @@ jobs:
         id: git-check
         run: echo ::set-output name=modified::$(if [ -n "$(git status --porcelain)" ]; then echo "true"; else echo "false"; fi)
 
+      - name: Get current branch name
+        id: get_branch
+        run: echo "branch_name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_ENV
+
       - name: Update changes in GitHub repository
         if: steps.git-check.outputs.modified == 'true'
         uses: EndBug/add-and-commit@v9.1.4
@@ -131,7 +135,6 @@ jobs:
           author_email: github-actions[bot]@users.noreply.github.com
           committer_name: GitHub Actions
           committer_email: github-actions[bot]@users.noreply.github.com
-          # default_author: github_actions
           message: "[GitHub Actions] Autogenerated JaCoCo coverage badge"
           fetch: false
           tag_push: '--force'
@@ -143,6 +146,5 @@ jobs:
         with:
           token: ${{ secrets.ALFAC_PUSH_TO_PROTECTED_BRANCH_TOKEN_CLASSIC }}
           force: true
-          branch: ${{ github.event.pull_request.head.ref || github.ref }}
-          # unprotect_reviews: true
+          branch: ${{ env.branch_name }}
           debug: true