Prune bookmarks and other improvements for pulling
Various adjustments to the bookmark workflow, such as:
- prune bookmarks when safe
- adjust publishing to rely on Git references
match Mercurial semantics to not create bookmarks/branches without--new-branch
ensure that we always save the map between Git and Mercurial hashes, so that an interrupted pull is easily resumed- log bookmark changes on pull
use the unfiltered repository when creating bookmarks — the user might have edited something
Edited by Dan Villiom Podlaski Christiansen