Re:Making a PR to Nixpkgs
by johnny22 on Tuesday August 02, 2022 @06:54AM
(#32317132)
luckily github can just squash it for you if you choose. You don't have to have a useless merge commit. The option is right there in the dropdown. I assume gitlab as well.
[ Parent
| on HN ]
There are no comments on this comment yet.