view contrib/packaging/wix/COPYING.rtf @ 44370:edaae3616ba3

bookmarks: avoid traceback when two pushes race to delete the same bookmark `hg push -f -B remote-only-bookmark` can raise server-side in `bookmarks._del` (specifically in `self._refmap.pop(mark)`), if the remote-only bookmark got deleted concurrently. Fix this by simply not deleting the non-existent bookmark in that case. For avoidance of doubt, refusing to delete a bookmark that doesn't exist when the push starts is taking care of elsewhere; no change of behavior there. Differential Revision: https://phab.mercurial-scm.org/D8124
author Valentin Gatien-Baron <valentin.gatienbaron@gmail.com>
date Sat, 15 Feb 2020 14:51:33 -0500
parents f010a80ec967
children ed43b6fa847e
line wrap: on
line source

(binary:application/rtf)