Closed virtuald closed 5 years ago
Hm. Surely a couple of git-subtree
calls would be faster for this.
Unfortunately, git-subtree
doesn't support multiple prefixes. Given that this is only run by maintainers periodically, it doesn't seem that bad.
However, if you have a faster/cleaner way of accomplishing this same thing, I'm open to it!
My suggestion was going to be to have two subtree repos, similar to what we had before.
Eh, that sounds worse.
@PeterJohnson, opinions? This doesn't seem that terrible, and it's a lot easier to clone?