fix: strip heads/ prefix from branch name in release check

2026-06-24 12:46:43 +02:00
parent 6985030a3c
commit 3c9c614813
1 changed files with 2 additions and 0 deletions
@@ -547,6 +547,8 @@ def main(dry_run: bool, skip_tests: bool, verify: bool) -> None:

    # Ensure we're on master (skip this check in dry-run mode for PR validation)
    branch = run_cmd(["git", "rev-parse", "--abbrev-ref", "HEAD"]).stdout.strip()
+    # Some git versions return "heads/master" instead of "master"
+    branch = branch.removeprefix("heads/")
    if branch != "master" and not dry_run:
        raise click.ClickException(_("Release must be run on master, currently on '{branch}'.", branch=branch))
    if branch != "master" and dry_run: