Merge branch 'jc/doc-push-satellite'
authorJunio C Hamano <gitster@pobox.com>
Thu, 29 Nov 2012 20:52:54 +0000 (12:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 29 Nov 2012 20:52:54 +0000 (12:52 -0800)
* jc/doc-push-satellite:
  Documentation/git-push.txt: clarify the "push from satellite" workflow


Trivial merge