Delete local branch more often when merging PR#7709

samcoe merged 3 commits into

cli:trunkcli/cli:trunkfrom

armandgrillet:armandgrillet/7355armandgrillet/cli:armandgrillet/7355Copy head branch name to clipboard