They can probably sue GitHub then (their current hoster of their repo), the traditional way?
Though actually I imagine GH would just close the repo before it comes to that, because it looks like a pretty clear case.
I guess it's also possible OpenAI doesn't care about this.
