That would only be the case if they forked it - but not a hostile takeover of the original repository.

But it wasn't a hostile takeover they were admins. Maybe GitHub has to provide more protection for the user that created the repository but nothing that happened was illegal. Which makes it worse in my opinion and shows that we have some deficits on the side of GitHub.