Well before github had a CI everybody used travis for free from it. Then they killed the free tier and people just started to switch. It's trivial to switch fr

Well before github had a CI everybody used travis for free from it. Then they killed the free tier and people just started to switch. It's trivial to switch from github to codeberg for example… So I don't think it's that bad to be honest.