Clean up more than just global (legacy) repos. Also, instead of
deleting, just rename.