RFRemix adaptation

Conflicts:
	server/mirrormanager/repomap.py