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