sync: also push repos that are not having workdir changes

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/