The problem: I worked on refactoring; I did a few non-trivial renamings. I found big gaps in other places while doing it, which required me to abandon my current work and to spend a…
ChatGPT start to scare me (in a good sense). It really knows git, and it knows it better than me. This solution is absolutely from it, I had had no idea that there is a fast way.