Skip to content

prune-remote-branches: add push option to prune remote branches

Georges Racinet requested to merge topic/heptapod/push-prune into branch/heptapod

hg push --prune-remote-branches to a git remote will prune the remote's branches whose counterpart (topic) have been deleted.

Merge request reports