Carlos Martín Nieto fe794b2ea7 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.		2014-12-30 17:02:50 +00:00
..
git2	remote: remove git_push from the public API	2014-12-30 17:02:50 +00:00
git2.h	Fixed git2.h not including threads.h anymore	2014-11-15 08:20:36 +09:00