3 ms·
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 ch
by LiquidityC 5mo ago
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.
- LiquidityC 5mo agoConsidering 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.
- vga1 5mo ago[dead]