The number of running docker dev containers is limited by the number of dev names, and that works for one repo. But if multiple repos are in play, each dev can exist for each repo. This is in devs webhook. How can we limit resource usage eg stop docker containers and prefer last dev name perhaps