GitHub:公关不会合并,因为贡献者是以色列人