commit 7f8981a5e418880e9dbf48db7f7e296a9782787d
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> Wed Nov 04 11:41:17 2026 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> Wed Nov 04 11:41:17 2026 +0100
tree cacf333f3f59685bcfba5040a682a779a67d4f5e
parent 65b41324ca548710ac5caef3b72b80ea9b8c1bf8

git: Sync GitHub replication job with cluster state.

The live CronJob also mirrors kellertomaten/kartipalist, includes the
mulkbav and dose repositories, and logs SKIP/COPY lines for each
repository and branch.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Change-Id: I663b5e6b96f584a10594f0f815d6e671a58deb46

git/git.yaml

diff --git a/git/git.yaml b/git/git.yaml
index 69a5278..4d73480 100644
--- a/git/git.yaml
+++ b/git/git.yaml
@@ -327,6 +327,25 @@
                 - -c
                 - |
                   for x in \
+                      kartipalist
+                  do
+                      if ! test -e "/git/repositories/kellertomaten/$x.git"; then
+                          printf "SKIP %s / %s\n" kellertomaten "$x"
+                          continue
+                      fi
+
+                      cd "/git/repositories/kellertomaten/$x.git"
+
+                      for branch in master main
+                      do
+                          printf "COPY %s / %s / %s\n" kellertomaten "$x" "$branch"
+                          git fetch "ssh://git@gitlab.benkard.de:32222/kellertomaten/${x}.git" "$branch:$branch" && \
+                          ( git push "ssh://mulk@gerrit.benkard.de:29418/${x}.git" "$branch"; \
+                            git push "git@github.com:kellertomaten/${x}.git" "$branch" )
+                      done
+                  done
+
+                  for x in \
                       .github \
                       aendggner \
                       aquifer \
@@ -337,6 +356,7 @@
                       cl-protocols \
                       cljssss-g \
                       demos \
+                      dose \
                       fibers \
                       hellonet \
                       hello-world-ng \
@@ -347,6 +367,7 @@
                       json-template-typed-racket \
                       kubeia \
                       logikorr \
+                      mulkbav \
                       mulkcms \
                       mulkcms2 \
                       mulkjournal \
@@ -363,6 +384,7 @@
                       toilet
                   do
                       if ! test -e "/git/repositories/mulk/$x.git"; then
+                          printf "SKIP %s / %s\n" mulk "$x"
                           continue
                       fi
 
@@ -370,11 +392,13 @@
 
                       for branch in master main
                       do
+                          printf "COPY %s / %s / %s\n" mulk "$x" "$branch"
                           git fetch "https://gitlab.benkard.de/mulk/${x}.git" "$branch:$branch" && \
                           ( git push "ssh://mulk@gerrit.benkard.de:29418/${x}.git" "$branch"; \
                             git push "git@github.com:benkard/${x}.git" "$branch" )
                       done
                   done
+
                   true
               env:
                 - name: HOME