Is there a reason to use sed for this rather than preg_replace, as you're already reading in the file anyway?
I'm only reading the first 1024 bytes to see whether it is necessary to parse the file at all. But sure I could do all of that in PHP.
Also skipping all the output might make it faster as well...
I had an interesting discussion yesterday eventing with Marco Pivetta. The main question was whether it makes sense to split the current SVN repo up into multiple GIT-repos. I know it was me that started with that but he made some good points to not split it up. The main reason being that it makes more complicated than necessary to keep track of changes over multiple repositories.
So is there actually a reason why we should split it up?
It will make a lot of background-stuff easier when its only one repo as there is no need to change working directory all the time while comparing git hashes
Everyone with karma can access everything. So far it should is not be necessary to restrict access to certain parts of the repo to certain people
It should still be possible to require at least two reviews by code-owners to merge PRs into the repo. And that's even easier when everyone has the same access for smaller languages
Those are some interesting points 🤔
But touch the Karma system isn’t something that I would do