devman -a <cmd> works with all repo groups