fix: use global branch numbering instead of per-short-name detection#1757
Merged
mnriem merged 2 commits intogithub:mainfrom Mar 9, 2026
Merged
fix: use global branch numbering instead of per-short-name detection#1757mnriem merged 2 commits intogithub:mainfrom
mnriem merged 2 commits intogithub:mainfrom
