ci: automate branch tagging on MR pipelines
Add a tag_branch job (new tag stage) that creates and pushes a
lightweight git tag matching the source branch name at the end of every
successful merge request pipeline. This automates the manual process
described in CONTRIBUTING.md § "Tagging deleted branches", preserving
CHANGELOG.md comparison links after branches are deleted on squash merge.
Includes a staleness guard: if a newer commit has been pushed while the pipeline was running, the job exits cleanly rather than overwriting the tag with a stale commit SHA.
Update CONTRIBUTING.md to document the automation and the prerequisite GitLab token access setting (Settings → CI/CD → Token Access).
-
complete !19 (comment 1268646) -
uncheck "Mark as draft"
Edited by cbaker