HomePhabricator

bookmarks: add an option to make pull mirror remote bookmarks

Description

bookmarks: add an option to make pull mirror remote bookmarks

For backups for instance. Merging bookmarks is not a useful behavior
in that case.

Differential Revision: https://phab.mercurial-scm.org/D11490