Merge branch 'jc/request-pull-show-head-4' into next
commitbea51ac1a4845ee7eff5731a9be6c23ecf85e04f
authorJunio C Hamano <gitster@pobox.com>
Sat, 17 Dec 2011 00:18:22 +0000 (16 16:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 17 Dec 2011 00:18:22 +0000 (16 16:18 -0800)
tree8682bbe5ea6bce9b5f3af0195ee1e3aa71c3a268
parentd65a830db872dde05a0cb8e8d289f4f5a50b7818
parentfe46fa9d267fc5465b320d0d2877de45333efeb8
Merge branch 'jc/request-pull-show-head-4' into next

* jc/request-pull-show-head-4:
  request-pull: update the "pull" command generation logic