prune-remote-branches: add push option to prune remote branches
hg push --prune-remote-branches to a git remote will prune the remote's branches whose counterpart (topic) have been deleted.
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
hg push --prune-remote-branches to a git remote will prune the remote's branches whose counterpart (topic) have been deleted.