push: improve docs on success / failure of git_push_finish