Iran is known to monitor the internet of its citizens especially social media (of which Github could be seen as a specialized version) and email (where PR notif

Iran is known to monitor the internet of its citizens especially social media (of which Github could be seen as a specialized version) and email (where PR notifications go by default) [1]. Even if its not being monitored at the moment, its likely it could be picked up later on by the Iranian government. If the chances are 30%+ that the dev in question could be sent to jail for years, its more than understandable why he didn't merge in the changes. [1] https://en.wikipedia.org/wiki/Internet_censorship_in_Iran#Monitoring https://en.wikipedia.org/wiki/Internet_censorship_in_Iran#Mo...