ci: Also push tags provided by FFmpeg remote

2021-05-19 04:48:25 +02:00
parent 8ca8a76581
commit c65e769e09
1 changed files with 1 additions and 1 deletions
@@ -76,7 +76,7 @@ jobs:
            BRANCH_REQUIRES_UPDATE=true
          fi
          if ${BRANCH_REQUIRES_UPDATE}; then
-            git push --set-upstream origin ${d}
+            git push --follow-tags --set-upstream origin ${d}
            curl \
              -X POST \
              -H "Authorization: token ${{ secrets.WORKFLOW_TOKEN }}" \