"git undo" tool: https://github.com/arxanas/git-branchless/wiki/Command:-git-...