From 56a0ef83dfbfff060f4a3c6478d99ace1df97b8a Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 25 Mar 2024 08:46:57 +0100
Subject: [PATCH] sync: also push repos that are not having workdir changes

---
 sync-all-repos | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/sync-all-repos b/sync-all-repos
index 96e9c98..8f45557 100755
--- a/sync-all-repos
+++ b/sync-all-repos
@@ -38,14 +38,15 @@ for repo in ~/.ctt \
     git push
 done
 
-# Repos we want to pull in, but don't want to update
-for pullonlyrepo in \
+# Repos we want to sync, but don't want to update the working tree
+for repo in \
     ~/vcs/k8s-config/ \
     ~/vcs/ansible-main/ \
     ; do
-    echo $pullonlyrepo
-    cd $pullonlyrepo
+    echo $repo
+    cd $repo
     git pull
+    git push
 done
 
 # Step 2: pull/push all other repos in ~/vcs/