Covered #sync_with_github