.gitattributes
author Pierre-Yves David <pierre-yves.david@octobus.net>
Tue, 11 Jun 2024 03:05:20 +0200
branchstable
changeset 51636 553eb132366f
parent 50425 9fa3cda7449e
permissions -rw-r--r--
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.

# So GitLab doesn't think we're using tons of Perl
*.t -linguist-detectable