updated for cleanliness

1 files changed, 5 insertions, 2 deletions

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: