devenv is a utility to define a workspace containing multiple git repositories and the ability to apply operations on all of them at once.

@tomf thanks for your remark.