name: Tag Release # Triggered when the chore/version-bump PR is merged to main. # debian/changelog is already on main from the merged PR — just create the tag. # release.yml triggers on the tag push and builds the release. on: pull_request: types: - closed branches: - main permissions: contents: write jobs: tag: runs-on: ubuntu-latest if: | github.event.pull_request.merged == true && github.event.pull_request.head.ref == 'chore/version-bump' steps: - uses: actions/checkout@v7 with: fetch-depth: 0 token: ${{ secrets.GITHUB_TOKEN }} - name: Create and push tag run: | VERSION=$(grep -m1 '(' debian/changelog | sed 's/.*(\(.*\)).*/\1/') git config user.name "github-actions[bot]" git config user.email "41898282+github-actions[bot]@users.noreply.github.com" git tag "v${VERSION}" git push origin "v${VERSION}"