Earlier quoted context omitted.
In this case, the developer's behavior was malicious: they intentionally caused damage. This is very different than some good faith change that breaks stuff downstream. Sure, the license says "no warranty". But github can decide that they won't tolerate vandals on their platform. It would be within their right to revert the bad change from the git database they hold, go back to the last good change and lock the devel…
> vandals on their platform. Since it is his code; can you vandalize your own property? > go back to the last good change and lock the developer out. That's one reason for not using GitLab as source management tool. It gives them way too much power.
Surely, you mean GitHub.