proper repo