Initial source commit.

2026-05-16 04:52:39 +02:00 · 2023-09-25 17:18:43 +02:00
parent f37edf0595
commit 5b815f9c16
1031 changed files with 74881 additions and 0 deletions
@@ -0,0 +1,19 @@
+#!/bin/sh
+if [ "$#" -ne 1 ]; then
+    echo "Usage: $0 <commit-message>"
+    exit 1
+fi
+
+for dir in */ ; do
+    if [ -d "$dir/.git" ]; then
+        echo "Processing $dir"
+        (
+            cd "$dir" || exit
+            git add .
+            git commit -m "$1"
+            git push
+        )
+    fi
+done
+
+echo "Done!"