Tool to synchronize Github local repositories with local projects