has anyone tried using the 'git undo' from the git-branchless project? https://github.com/arxanas/git-branchless a general "undo" feature for git seems like such a cool idea and I'm curious about whether it works well in practice