In these situations, the outcome is almost always bad for everyone involved, but these types of things happen from time to time. The git pull jokes, harassment accusations, and firings. Personally, I don't know if we are helping by giving more attention to it. We look on, face palm, etc, but the effects on these people is real and lasting. Personally, I have flagged this, because if this were me, I would hate to have a spotlight on it. We have a brief sliver of what is going on, speculation going wild, and this is basically on the public record now. We're all human, do dumb shit from time to time, and it's on the world stage. Hindsight sight is 20/20 and I'm sure they wish this never happened now. Yada, yada, yada.