bookmark: fix remote bookmark deletion when the push is raced
Before this patch, running `hg push -B book` to push the `book` bookmark sideway at the same time as a commit making it moving forward might result in the removal of the bookmark remotely. After this changeset, the push can still be raced, but to remove deletion happens. This is progress.
parent
fcc149f3
No related branches found
No related tags found
tests/test-bookmarks-push-race.t
0 → 100644
Please register or sign in to comment