Add commit hook & markdown scripts

2026-05-20 01:32:33 +02:00 · 2026-05-18 22:59:48 +02:00
parent 2705c2882d
commit e3e89582c1
7 changed files with 141 additions and 16 deletions
@@ -0,0 +1,15 @@
+pre-commit:
+  piped: true
+  commands:
+    inject-exec-basics:
+      glob: "docs/basics.md"
+      run: python3 .github/scripts/inject-exec.py {staged_files}
+      stage_fixed: true
+    inject-exec:
+      glob: "README.md"
+      run: python3 .github/scripts/inject-exec.py {staged_files}
+      stage_fixed: true
+    toc:
+      glob: "README.md"
+      run: doctoc --notitle {staged_files}
+      stage_fixed: true