Proper repo names