git: Add GitHub synchronization.

Change-Id: I265ee9627d113febc9da97aee3a4324367a30fc7
diff --git a/git/git.yaml b/git/git.yaml
index 7d4665f..148b21b 100644
--- a/git/git.yaml
+++ b/git/git.yaml
@@ -203,3 +203,86 @@
     scan-path=/home/git/repositories/
 
     #
+
+---
+
+apiVersion: batch/v1
+kind: CronJob
+
+metadata:
+  name: git-github-replication
+  namespace: mulk
+  labels: &labels
+    k8s-app: git 
+
+spec:
+  schedule: "*/120 * * * *"
+
+  jobTemplate:
+
+    spec:
+      ttlSecondsAfterFinished: 3600
+
+      template:
+        metadata:
+          name: git-github-replication
+          labels: *labels
+
+        spec:
+          restartPolicy: OnFailure
+
+          volumes:
+            - name: github-secrets
+              secret:
+                secretName: github-secrets
+                defaultMode: 0400
+            - name: data
+              persistentVolumeClaim:
+                claimName: git-data
+
+          containers:
+            - name: master
+              image: buildpack-deps:scm
+              command:
+                - bash
+                - -c
+                - |
+                  for x in \
+                      aquifer \
+                      benki \
+                      cellspp \
+                      cl-json-template \
+                      cl-mulkutils \
+                      cl-protocols \
+                      cljssss-g \
+                      fibers \
+                      hellonet \
+                      instadump \
+                      json-template-r6rs \
+                      json-template-racket \
+                      json-template-typed-racket \
+                      logikorr \
+                      mulkcms \
+                      mulkjournal \
+                      mulklib \
+                      mulkrypt-for-racket \
+                      mulkyid \
+                      objective-cl \
+                      toilet
+                  do
+                      cd "/git/repositories/mulk/$x.git"
+                      git push "git@github.com:benkard/${x}.git" master
+                  done
+                  true
+              resources:
+                limits:
+                  memory: 100Mi
+                requests:
+                  cpu: 20m
+                  memory: 100Mi
+              volumeMounts:
+                - name: github-secrets
+                  mountPath: /root/.ssh
+                  readOnly: true
+                - name: data
+                  mountPath: /git