|
|
|
|
|
by minitech
1544 days ago
|
|
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. |
|