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.