# HG changeset patch # User Boris Feld # Date 1499700268 -7200 # Node ID 50502148254126080e76efcee7099a3761b382eb # Parent 2a8ce4e79a47a8a90924c54ba8a0e07317d4f41b bookmark: use 'applychanges' when updating a bookmark through pushkey diff -r 2a8ce4e79a47 -r 505021482541 mercurial/bookmarks.py --- a/mercurial/bookmarks.py Mon Jul 10 17:22:17 2017 +0200 +++ b/mercurial/bookmarks.py Mon Jul 10 17:24:28 2017 +0200 @@ -402,12 +402,12 @@ if existing != old and existing != new: return False if new == '': - del marks[key] + changes = [(key, None)] else: if new not in repo: return False - marks[key] = repo[new].node() - marks.recordchange(tr) + changes = [(key, repo[new].node())] + marks.applychanges(repo, tr, changes) tr.close() return True finally: