##// END OF EJS Templates
bookmark: fix remote bookmark deletion when the push is raced...
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.

File last commit:

r51288:f0d2b18f default
r52529:553eb132 stable
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer