Better error on bad dev-repo field