push: update bookmarks within the remote lock
Updating bookmarks is part of the push. It should be done within the same lock as the other steps of the push.
Please register or sign in to comment
Updating bookmarks is part of the push. It should be done within the same lock as the other steps of the push.