* septicmk forked v6d-io/v6d to septicmk/v6d
* septicmk added commits to septicmk/v6d:main
* septicmk created a pull request from septicmk/v6d:main to v6d-io/v6d:main
* septicmk force pushed septicmk/v6d:main with the head commit of v6d-io/v6d:main
* Github closed the pull request and displayed a "merge" notification
The UX issue is that septicmk did not have write permission to v6d-io and did not actually merge any commit into it, but GitHub says "septicmk merged commit 61f3741 into v6d-io:main". Commit 61f3741 was authored by sighingnow and was already on v6d-io:main.
So in this case no authorized merge actually happened, the PR was just updated to have no difference from the actual repository's main branch, but GitHub makes it seem like a merge happened.