Skip to content

Pruning GitLab branch if all heads of Hg branch are bookmarked

Georges Racinet requested to merge topic/heptapod/bookmarks_prune_gitlab_branch into branch/heptapod

The logic behind this is that 'branch/HG_NAMED_BRANCH' in this case becomes arbitrary, that's the last commit seen by GitLab before all heads of the named branch got bookmarked.

Edited by Georges Racinet

Merge request reports