I can't think of much else they could reasonably do in response to these allegations. Tom was a founder, President, and former CEO of GitHub. They effectively fired him. They apologized profusely and laid out specific ways in which they're trying to fix the problem. They hired a new HR head. They're starting to train and educate employees.