Removed ProtegraRepo from list of repositories.