Checked all my PRs that merged on the 23:d. Checked out each branch locally, rebased on trunk and ran 'git diff'. One of them had a diff which was the entire change that was marked as merged in the GH web ui.
This happened in complete silence and since the PR in question was just code refactor I would most likely never have noticed.
Considering switching to original method of simple git repo hosting and email patches like the kernel does it. A workflow I favor. Turns out there are no hosting services which provide such solutions. Lots of manual hosting setup and config required...
Sad that GitHub sort of cast the mold for how git hosting has been done for the past 2 decades.
This happened in complete silence and since the PR in question was just code refactor I would most likely never have noticed.
reply