G github.com Iranian law prohibits merge of PR from Israeli? 290 points jonahbenton 6 years ago 224 comments