From b0572c958427ae6ad75109752e9741aab31ad65a Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Sat, 7 Feb 2026 20:14:19 +0800
Subject: updated for cleanliness

---
 docs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'docs')

diff --git a/docs b/docs
index 96a0785..5799c91 100644
--- a/docs
+++ b/docs
@@ -39,14 +39,17 @@ SSH keys:
 Create repo:
     git init --bare /git/myrepo
 
+Git config (one-time):
+    git config --global user.name "hc"
+    git config --global user.email "hc@a.nub.ninja"
+
 Init and push local repo:
     REPO=myrepo TARGET=git HOST=root@git2.noml.ch \
         && git config --global init.defaultBranch main \
-        && git config --global user.name "hc" \
-        && git config --global user.email "hc@a.nub.ninja" \
         && git init \
         && ssh "$HOST" "set -e; git config --global init.defaultBranch main; git init --bare /$TARGET/$REPO" \
         && (git remote remove origin_$TARGET 2>/dev/null; git remote add origin_$TARGET "$HOST:/$TARGET/$REPO") \
+        && git add -A && git commit -m "initial commit" \
         && git push origin_$TARGET --all
 
 Restart:
-- 
cgit