I would submit a complain, it would in fact protect that developer FROM the Iranian government since he wouldn't be able to interact with Israeli on github if i

I would submit a complain, it would in fact protect that developer FROM the Iranian government since he wouldn't be able to interact with Israeli on github if it's apparently a problem. He can't have it both way at first place, he can't be on github and obviously violate github TOS with anti-Israeli PR merging policies, no matter what the reason is.