The reason I suggested not to use that script was to prevent people from becoming victims of scapegoating and crucifixion, the same way I would suggest a North

The reason I suggested not to use that script was to prevent people from becoming victims of scapegoating and crucifixion, the same way I would suggest a North Korean dissident use Tor Browser instead of Microsoft Edge. I am probably not quitting Github just because it's convenient and I'm forced to use it often. But I think it's stupid to pressure someone to be a user of some corporation's proprietary SaaS product or else they're evil and bad. Give me a break. For example, I bought Pepsi today--should I be attacked because I'm not drinking Coca-Cola even though the CEO of Coca-Cola endorsed $CONSENSUS_WORLDVIEW. We wouldn't even be having this discussion if the majority of individuals and software companies hosted their own git servers and web clients. If I were using the GPLv2-licensed git and self-hosting my own FOSS web client for git, I could change the default branch name to "main" without having to beg some corporation because I could edit and run the code.