Github was available to Iranian up until two years ago. The general public is not that familiar with github (just like the rest of the world). But it is very likely that if the government feel like it, they just go ahead and censor it.