Add a script to rename C identifiers, and optionally add a commit message

This script should "pay for itself" if it prevents one bug caused by careless search-replace-commit loops.
2024-12-06 19:41:15 +01:00 · 2019-10-23 13:26:08 -04:00
parent 9586ae178a
commit fcdb66acd3
2 changed files with 266 additions and 0 deletions
@@ -0,0 +1,5 @@
+  o Minor features (developer tools):
+    - Add a rename_c_identifiers.py tool to rename a bunch of C
+      identifiers at once, and generate a well-formed commit message
+      describing the change. This should help with refactoring. Closes
+      ticket 32237.