Merge pull request #1340 from schu/push-docs push: improve docs on success / failure of git_push_finish
2013-02-14T11:33:47