I would argue the correct path of action would be to work with Github to develop a proper anti-harassment policy, rather than cutting ties. While the harassment incident is certainly bad (if unclear), Github has done other things and shown a willingness to do more to further Ada's goals.

Now, maybe there is more to the story, but the post didn't seem to reveal it.