Rely on jgit to properly synchronize pull, push and clone