• Show log

    Commit

  • Hash : fe794b2e
    Author : Carlos Martín Nieto
    Date : 2014-12-16T08:57:05

    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.