Changed repos to have 'devel' in their names