Proper repo