3 ms·

Here is yet another tool for managing multiple repos as one: https://supertanker.github.io/tsrc/ https://supertanker.github.io/tsrc/