I know what you were talking about. You misunderstand their role fairly deeply. There's so much wrong with the idea that they would make Github enforce anything in this instance that it really is quite hard to start. It's just wrong. Entirely.
But go ahead and prove me wrong. Report that MS/Github is providing support to an anti-Israel boycott and therefore should no longer be permitted to export and should no longer receive tax benefits. They have a hotline.