Skip to content

Bookmarks general improvements

Closes heptapod#143 (closed), by allowing moves of existing bookmarks, which are always pushed.

This is also the occasion to allow bookmarks deletions and to prevent some surprising changes, like shadowing branch heads upon implicit moves.

Merge request reports