And then there is the possibility of a GitHub engineer. It would really be important to figure it out and a log of who did this would be essential to narrow down what happened and also for criminal investigations as the official account holder would be the first to ask. We cannot rule out people getting greedy or being psychopaths trying something funny to begin with.