fix(gh): release create does not push git tag by default (#896)

Signed-off-by: Dario Tranchitella <dario@tranchitella.eu>
This commit is contained in:
Dario Tranchitella
2025-07-29 15:04:21 +02:00
committed by GitHub
parent 5e68fd8fe0
commit 9ba9c65755

View File

@@ -37,6 +37,12 @@ jobs:
run: |
export TAG="${{ steps.tag.outputs.tag }}"
envsubst < .github/release-template.md > release-notes.md
- name: create and push git tag
run: |
git config user.name "github-actions"
git config user.email "github-actions@github.com"
git tag "${{ steps.tag.outputs.tag }}"
git push origin "${{ steps.tag.outputs.tag }}"
- name: create GitHub release
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}