Wow, this topic is not that hot. A very ordinary Iranian developer has a repository (which he shouldn't have it on github, since github belongs to MS and MS is American, at any moment they can close his account with legal excuses, just like what other Americans tech companies did to Iranian users). A very ordinary Israeli guy made a PR and the repository owner politely rejected it because he doesn't want to interact with any person from that country)

US has a lot of law and rules against many countries including Iran, no one argues about that. And some guys want to escalate a PR up to governmental level. It's ridiculous...

There is no specific law for git PR. It's a very general law. Many middle eastern countries would not recognize Israel as a country, it is called Occupied Palestin. Citizens of these countries shouldn't interact with ppl from occupied territories.