My Various Git Projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 184a7aa 2ad9ba0)
Merge branch 'jc/maint-request-pull-for-tag' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2012 21:59:02 +0000 (13:59 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2012 21:59:02 +0000 (13:59 -0800)
* jc/maint-request-pull-for-tag:
  request-pull: explicitly ask tags/$name to be pulled


Trivial merge
The core git plumbing