push: improve docs on success / failure of git_push_finish
Merge pull request #1340 from schu/push-docs

push: improve docs on success / failure of git_push_finish