gitlabhq/gitlabhq — pull request #3570 by simonswine (2013-04-11 08:19:34+00:00)
Title: Update HEAD pointer in bare repo when changing default_branch

Resolves: #3314, #2572