]> source.dussan.org Git - gitblit.git/commitdiff
Merge pull request #5 from plm/admin_default_head
authorJames Moger <james.moger@gitblit.com>
Mon, 30 Jan 2012 18:02:01 +0000 (10:02 -0800)
committerJames Moger <james.moger@gitblit.com>
Mon, 30 Jan 2012 18:02:01 +0000 (10:02 -0800)
Allow administrative modification of the default branch/tag referenced by HEAD


Trivial merge