Note to self: If you need to revert commits that have already been pushed, or otherwised merged with any other repo or branch, use git revert. git reset is exclusively for undoing commits in your local working tree that have not seen the light of day. Attempting to use git reset to undo changes that exist in multiple [...]
About
My name is Peter Williams. I am a father and software developer. (I do a few other things, of course, but family and software are what I am most passionate about.) This blog is primarily a place where I can rant without scaring too many people, but occasionally I record things of interest to my family here.
more about ยป-
