Removing a repository from REPOPRIO does not completely disable it.