People are free to use the language they wish. They are not necessarily free to host said language on other people's websites. This isn't a legal ban or something, GitHub is a private company and they have the right to limit what content they want on their website.