I really wonder why it is so hard to say to them, to find a different spot on the Internet? The implications for them are really small. With a few clicks in github, they've cloned their repository. While the implications if they stay are really big. People should take their responsibility here.