Commit 91f7335e1c779ba1d589add4fe2f58c9c580848f

Alessandro Ghedini 2013-02-15T13:12:03

push: fix typo in git_push_finish() doc