You're right about censorship. However most Iranians have a VPN installed on their phone and rarely gets trouble for doing so and speak freely but anonymously. Iran gov is actually a democratie quite more liberal than most western people think. Yes, there is censorship, unfair courts cases, corruption, and repression. Still we can see this in most of the countries, often in harden terms. Should we speak about Assange ?

https://en.m.wikipedia.org/wiki/Politics_of_Iran

Don't give them ideas! Also, I haven't seen a lot of political stuff related to Iran on Github.

Give it time? Github was previously doing the "censorship" of Iranians... now that it's available I expect we'll see more of this kind of thing:

https://en.wikipedia.org/wiki/Censorship_of_GitHub

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.

Examples? I've never come across anything heavily political, aside from maybe "free software" advocacy, which I assume isn't something most governments find particularly threatening.

Not Iranian but a very famous repo is the 996 repo https://github.com/996icu/996.ICU (>250k stars) which advocates for Chinese Developers working a 996 schedule. Depending on where you look you can find a lot of political content on Github from all over the world.

To be clear, he means "advocates for" in the sense that you have an advocate who is an ally.

One could interpret this as "this repo support 996" which is the opposite of reality, without that context.

Some examples can be found in their public record: https://github.com/github/gov-takedowns

If TOR and I2P are a thing in Iran, they block github if they like but people will find a way to access it.