News for hackers. Stuff that matters.

A comment on Is Git Irreplaceable? (2019). Parent comment

Re:Is Git Irreplaceable? (2019) by wasdfff on Tuesday January 07, 2020 @10:50AM (#21981068)
Git push/pull -f

Then write a little merge message and you are good to go.

[ Parent | on HN ]

There are no comments on this comment yet.