That’s probably what it is. I didn’t go to school in the US but my kids went to school in Ohio and my impression was that metric was not the primary system of units used in education, though it was taught.
The argument I hear most often from people defending the US customary units is that the units are more intuitive. For example, an inch is about the size of a thumb, or 0 degrees is fucking cold and 100 is fucking hot.
On the whole, people seem receptive to metric, but don’t want the hassle or cost to convert. They seem content to use metric where it’s important (science, military) and keep the old ways elsewhere.
I currently with in healthcare research and almost everything not patient facing is done in metric, but there are still conversions going on everywhere, leading to data problems that are hard to correct later. People used to thinking in ounces putting those where grams were supposed to go, and so on.
Git is a distributed VCS just like fossil. GitHub never has been an integral part of it; it’s just the most popular hosting option. This is like saying you’re glad you’re using Firefox because everyone complaining that Twitter is down is using Chrome.
Even if you do just GitHub for hosting you can, on account of it being distributed, still work and commit code.
What is more disruptive is that so much code is hosted on GitHub that even if you’re not yourself hosting anything there, you risk almost all your dependencies being unavailable to your build pipelines. If you didn’t have a cache set up, you’re gonna have a bad time.
Too much of their process it’s tied in with GitHub. That’s what people are complaining about.