This seems to be just an individual being passive aggressive and not some international incident.
Who's being passive-aggressive? The Iranian guy added commits to the PR, it seems he was going to merge it and realised he probably shouldn't
Iranian law prohibits merge of PR from Israeli?
11–20 of 246 posts
Re: Iranian law prohibits merge of PR from Israeli?
#12Does this mean that there is an Iranian government enforcement agency monitoring Github PRs?
It's probably a case of the person being super careful, as they live in a jurisdiction where a mistake could have tragic consequences.
Re: Iranian law prohibits merge of PR from Israeli?
#13Does this mean that there is an Iranian government enforcement agency monitoring Github PRs?
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#Mo...
Re: Iranian law prohibits merge of PR from Israeli?
#14How is accepting a PR account to having a relationship with an individual. Popular OS repository would have code contribution from 1000s of contributor, it's possible that the maintainer don't personally know a majority of them. This just don't make sense.
When the consequence of being wrong could be death, what risks would you take?
Re: Iranian law prohibits merge of PR from Israeli?
#15If this PR would have come from a sufficiently anonymous user (no location / profile picture), I'm sure it would have gone through. I'm certain maintainers don't check identity and nationality of every contributor.
Re: Iranian law prohibits merge of PR from Israeli?
#16How is accepting a PR account to having a relationship with an individual. Popular OS repository would have code contribution from 1000s of contributor, it's possible that the maintainer don't personally know a majority of them. This just don't make sense.
> How is accepting a PR account to having a relationship with an individual.
Perhaps the original sources from the Iranian government (e.g., legal texts, judicial rulings, etc.) provided clearer language.
It wouldn't surprise me if the Github discussion comments used simplified / less-precise language for the sake of readability.
Re: Iranian law prohibits merge of PR from Israeli?
#17Could it be this the PR recipient was worried about?
https://www.jpost.com/middle-east/iran-news/iran-passes-law-...
Don't tell them about the Linux kernel.
Re: Iranian law prohibits merge of PR from Israeli?
#18All the people arguing semantics when the author lives in a repressive dictatorship that would literally torture you for a confession and then execute you for it.. if anyone EVER comes by this PR even a decade from now. Meanwhile, no one here would even think of violating US export controls against North Korea... when the consequences are likely just prison time. Armchair tough guys.
I don't see a lot of shade being thrown at the author, just a lot of confusion.
Not armchair tough, just not fully understanding... yet, I think there's a difference.
Re: Iranian law prohibits merge of PR from Israeli?
#19Does this mean that there is an Iranian government enforcement agency monitoring Github PRs?
Probably not, but if a regime wants to persecute someone (maybe they went to a protest?), they could comb through the individual's accounts looking for slightest evidence of breaking the law.
Re: Iranian law prohibits merge of PR from Israeli?
#20How is accepting a PR account to having a relationship with an individual. Popular OS repository would have code contribution from 1000s of contributor, it's possible that the maintainer don't personally know a majority of them. This just don't make sense.
I think that's still reasonably within the intent of the law. Like, if you had a local eBay competitor you might have tens of thousands of sellers, and you'd certainly have a "relationship" with all of them, even if only via automated systems.