Merge branch 'mg/maint-pull-suggest-upstream-to' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 20 Nov 2012 18:15:09 +0000 (10:15 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 20 Nov 2012 18:15:09 +0000 (10:15 -0800)
* mg/maint-pull-suggest-upstream-to:
  push/pull: adjust missing upstream help text to changed interface


Trivial merge