a git extension that allows a group of independent repos to be managed together