You've done it! You've found a logical hole in the policies of a government! Everyone is happy, the maintainer is no longer at risk of death if they approve this PR, and the world is saved once again.
Thank you for your service.
For an actual response, the maintainer only states that they are not allowed to have any relationship with someone from Israel. While possible, they do not state that they cannot use software that was contributed to by someone from Israel.
That developer made himself a target for retaliation the moment he started using github and commit code there. Spare me your sarcasms.
And if you are toeing the line with what's acceptable, increasing your exposure by even a little could cross that line.
Spare me your lack of empathy.
This has nothing to with empathy, you can't be on Github and discriminate PR submitters because they are Israeli. Pretty sure it violates github TOS.
That is a hard decision.
If the maintainer denies this PR for being from Israel, you're pretty sure it violates ToS, which in the worst case could result in their account being suspended.
If the maintainer knowingly or unknowingly accepts a PR from Israel, the very real worst case is that they could be executed.
I'm not sure which decision I'd make if I were in their shoes. I see your point now.
What do you think is going to happen to that story relayed on hackernews and reddit? This developer by doing so has made himself a target of the Iranian governement already which is going to check how much "Israeli code" this developer relies on, just by looking at the composer.json dependency file. What chances are you talking about again?
The Iranian government already has a case against him then, he is using PHP and committing code on github.
He is using a language that was mainly developed by Israeli and has Israeli on its core team, this is a flimsy excuse not to merge a PR. Laravele itself probably already has Israeli contributors too. This argument makes no sense. If he is using PHP and Laravele he is allegedly already in danger by your logic, since using code and libraries authored by Israeli. This isn't a github or a git issue, at all.