I agree the default should be DefaultRepositoryId, but why not let the user provide a different remote, if desired?