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.
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.