Revert repo to point to github alias (to be able to associate an SSH key)