They did not punish anybody. Not letting a non-employee into their offices does not qualify as punishment. Put on leave for a president also not. It is more to

They did not punish anybody. Not letting a non-employee into their offices does not qualify as punishment. Put on leave for a president also not. It is more to the media and wait to let the dust settle. The culture of Github needs some fix can be interpreted many ways it does not say anything concrete. This is all politics. :)