Synchronizing with github