-
Robert Speicher authored
Use rugged to change HEAD _Originally opened at !2850 by @pmq20._ Needless to invoke gitlab_shell here, which is slow. See merge request !3705
34b05615
To find the state of this project's repository at the time of any of these versions, check out
the tags.