News for hackers. Stuff that matters.

A comment on GitHub's Missing Merge Option. Parent comment

Re:GitHub's Missing Merge Option by eurasiantiger on Saturday October 01, 2022 @04:45AM (#33045075)
How is it a burden? Just diff the HEADs of the branches like GitHub does by default?
[ Parent | on HN ]

There are no comments on this comment yet.