push: fix typo in git_push_finish() doc
Merge pull request #1342 from ghedo/development

push: fix typo in git_push_finish() doc