proper include repos