Problem with the new GitHub Syncer button