libera/#devuan-dev/ Saturday, 2022-02-12

fsmithredI need help with git. I'm about to push some changes and it's complaining that I have changes in the remote repo that I don't have locally. I checked, and I'd like to clobber the previous change with my current local branch. How do I do that?20:01
golinuxRemove the previous change?20:13
golinuxXenguy did something like that not long ago.20:14
fsmithredtrying to avoid un-editing all the edits I did. I actually solved that one and now have another one.20:30
golinuxThat's only easy to do if it was the immediately previous one20:55
LeePenfsmithred: force push, or force-with-lease for a slightly gentler force21:02
fsmithredLeePen, thanks, I think that worked21:04
LeePenfsmithred: yw21:04

Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!