dcc push: rename branch to pr/<number> instead of bare <number>#99

imaman merged 1 commit into

mainimaman/dcc:mainfrom

0922-wed-2026-05-27imaman/dcc:0922-wed-2026-05-27Copy head branch name to clipboard