push: fix typo in git_push_finish() doc