It force-pushed to a branch of its own fork, then closed its own pull request without merging it – both things any account can do. No GitHub blessing was ever i

It force-pushed to a branch of its own fork, then closed its own pull request without merging it – both things any account can do. No GitHub blessing was ever involved. And so we move from uninformed speculation to uninformed misinterpretation.