GitHub fired a Jewish employee who called out ‘Nazis.’ Now, it’s reversing that decision.