It is intuitively obvious that it is better to be rich and healthy than poor and ill. Sadly, the reality choices are neither. And you can not just split a repo. Hearing some ideas for that case would have been interesting.

Solving a scaling problem by splitting it is, well, obvious.

And, yes, I also ran github on a couple of projects at $work and the issues are real, seen them.

So, if it hurts when I try to use git - the answer will be don't use git... But the conveniences are so tempting...