Commit a53b5e5fc31187cada9ba1f6eccf841484aede53

Michael Schubert 2013-02-14T20:20:18

push: improve docs on success / failure of git_push_finish