Skip to content

Use rugged to change HEAD

Needless to invoke gitlab_shell here, which is slow.

Merge request reports