Interestingly enough GitHub didn’t forcefully take over the repository and disable the user’s account like they did with colors.js.