2 ms·GitHub’s head of HR resigns in light of termination of Jewish employee6 points by aerosmile 6y ago