After being presented with the results we felt Tom could no longer be an effective leader at GitHub. He offered his resignation and we accepted.