If Orang mane bans GitHub they've got their local clones and can whip out a local server and a CI solution.
If Orang mane bans Claude, they've got their local models.
The latter has already happened too so I'd say their risk modeling is spot on.