6 Feb
2025
6 Feb
'25
12:41 p.m.
but I'd like to be sure since it would be quite some effort.
Just a side-note, since it seems not to be common knowledge: renaming over 25 commits is actually quick. The trick here is to `git format-patch -25 --stdout > /tmp/1.patch`, then regexp-replace strings over the file with you preferred way *(a text editor, `sed`, etc. But I recommend a text editor, just in case if you screw something up so patch won't apply anymore, you can <kbd>Ctrl</kbd>+<kbd>z</kbd> it and retry again)*, then `git reset --hard HEAD~25` and `git am -3 /tmp/1.patch`.