Modifying git synchronization framework to use GitHub instead.