one of the biggest failings of software right now is the fact that it seems like to undo a pushed commit you basically need to go spend your whole day reading the git docs to understand how to revert properly. Seriously how is this so hard.
-
-
-
I've just managed to get in a mess by merging a PR. This is probably an example of why I don't merge PRs as often as I should.
- 1 more reply
New conversation -
-
-
Maybe this might help you? https://ohshitgit.com/
-
The search autocompletes now. I should really have an alias for the command...
- 2 more replies
New conversation -
-
-
GitHub has made this very easy. Go to your commit, download it as a zip, copy your old `.git` folder to the new directory, and `git commit --all`. If only that was more complicated than the actual git commands.
-
This is one of those things where I'm not sure if "very easy" is a joke or not :). I should have an alias for the command though, I search it so often...
End of conversation
New conversation -
-
-
This is literally the best feature of vscode. It just has that as a command!
-
That is an excellent idea
End of conversation
New conversation -
-
-
I haven't found better Git handling than in the Jetbrains IntelliJ family: https://www.jetbrains.com/help/idea/undo-changes.html … ... the help page I link to actually makes it seem more complex than it is in the IDE. Just hit F2, or double-shift and search for action 'undo commit', enter, bang, gone, fixed.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The great thing about btrfs is you can set up a cron job to do a read only snapshot it every 5 min, and then no matter what horrible thing you do, you can just delete the dir and cow it from the last good snapshot.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.