I think the reasonable response would be to take the website down and make the repo private while they change the name.