Undo the last commit on pinned git.git (deep history, many tags): grit reset --soft HEAD~1 vs git reset --soft HEAD~1
repo: Upstream git/git pinned at v2.47.0, full history · 4,525 files · 75,031 commits · 954 refs
| tool | median | min | max | runs | peak memory |
|---|---|---|---|---|---|
| git | 2.0 ms | 1.6 ms | 2.2 ms | 20 | 8.3 MB |
| grit | 12 ms | 12 ms | 13 ms | 20 | 44 MB |
$ git reset --soft HEAD~1
$ grit reset --soft HEAD~1