Removed protegraRepo from list of repositories.