libgit2/libgit2 — pull request #2762 by carlosmn (2014-12-16 08:15:18+00:00)
Title: remote: remove git_push from the public API

Instead we provide git_remote_upload() and git_remote_update_tips() in
order to have a parallel API for fetching and pushing.