A proper repo