How to periodically sync a Git repository with its remote