commit-repo.pl: recognize linux/devel repos