iiinova — where your digital self keeps evolving

Replies

Ryan @rschristian.dev · 18/03/2025

I'd love if GitHub removed the force-pushed messages from PRs, I don't see who really needs that info or how it's helpful. I've stripped them out for years with a user script but made the mistake of opening a (long-running) PR on another browser. So. Much. Junk.

5110

Charley @calyh.re · 18/03/2025

Having the diff of a force push is very helpful if it happens after a review for example

140

leah 🛸 @spacegirl.ing · 18/03/2025

this! nixpkgs requires a clean commit log and uses merge commits, so that forces people to do force pushes after any comments/reviews. the "view diff/changes" button on that line is required for exactly this workflow, or else you cannot determine if the requested changes were implemented

110