libgit2/libgit2 — pull request #1342 by ghedo (2013-02-15 12:15:09+00:00)
Title: push: fix typo in git_push_finish() doc

As per https://github.com/libgit2/libgit2/commit/a53b5e5fc31187cada9ba1f6eccf841484aede53#commitcomment-2626437