]> source.dussan.org Git - gitblit.git/commitdiff
Merged #85 "Tag server-side merges when incremental push tags are enabled"
authorJames Moger <james.moger@gitblit.com>
Fri, 23 May 2014 13:20:25 +0000 (07:20 -0600)
committerJames Moger <james.moger@gitblit.com>
Fri, 23 May 2014 13:20:25 +0000 (07:20 -0600)

Trivial merge