I share his concern for GitHub being overused. But that has nothing to do with git. He should simply do what the git devs originally did: create yet another SC

I share his concern for GitHub being overused. But that has nothing to do with git. He should simply do what the git devs originally did: create yet another SCM tailored to his needs. Or alternatively use am existing tool that fits him.