Merge branch 'jc/doc-push-satellite' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 Dec 2012 22:11:21 +0000 (14:11 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 Dec 2012 22:11:21 +0000 (14:11 -0800)
* jc/doc-push-satellite:
  Documentation/git-push.txt: clarify the "push from satellite" workflow


Trivial merge