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)
commit7472ad1dae1541535a6e7fd800e1657338151653
tree1693aa1552a5ca81cb52de3d1bdb6714c1694eed
parent90583f17290db0a0e1007b2c32ca6637e7fbb07c
parentb48990e7382a94bc6762ee7b88467d5d5a70fcb0
Merge branch 'jc/doc-push-satellite'

* jc/doc-push-satellite:
  Documentation/git-push.txt: clarify the "push from satellite" workflow