Removed the other repos and added them to previous_names
Removed the other repos and added them to previous_names

Merges #3357

Conflicts:
	repository/g.json
	repository/o.json