Commit Briefs
document how something like 'git reset @^' can be achieved
Question from florian; One key difference to reset @^ is that the bad commit will remain in history. I suppose a future 'histedit' command could solve that.
Question from florian; One key difference to reset @^ is that the bad commit will remain in history. I suppose a future 'histedit' command could solve that.