git-push.txt: describe how to default to pushing only current branch