devtools/gerrit: attempt to deploy theme

This doesn't entirely work, as we need to use PolyGerrit 3 compatible
theme injection.

Change-Id: I13305a4774028bdb92c1449ddb461b59ce8ae82f
diff --git a/devtools/gerrit/BUILD b/devtools/gerrit/BUILD
index 3a26e39..c8ebfd6 100644
--- a/devtools/gerrit/BUILD
+++ b/devtools/gerrit/BUILD
@@ -12,9 +12,20 @@
     # to overwrite plugins.
     directory = "/var/gerrit-plugins",
 )
+
 container_image(
-    name="3.3.2-r1",
-    base=":with_plugins",
+    name = "with_theme",
+    base = ":with_plugins",
+    files = [
+        "theme/etc/GerritSite.css",
+        "theme/static/pepper-icon.png",
+    ],
+    directory = "/var/gerrit-theme",
+)
+
+container_image(
+    name="3.3.2-r3",
+    base=":with_theme",
     files = [":entrypoint.sh"],
     directory = "/",
     entrypoint = ["/entrypoint.sh"],
@@ -22,9 +33,9 @@
 
 container_push(
     name = "push",
-    image = ":3.3.2-r1",
+    image = ":3.3.2-r3",
     format = "Docker",
     registry = "registry.k0.hswaw.net",
     repository = "q3k/gerrit",
-    tag = "3.3.2-r1",
+    tag = "3.3.2-r3",
 )
diff --git a/devtools/gerrit/entrypoint.sh b/devtools/gerrit/entrypoint.sh
index ffea5f3..f303263 100755
--- a/devtools/gerrit/entrypoint.sh
+++ b/devtools/gerrit/entrypoint.sh
@@ -19,6 +19,10 @@
 
 cp /var/gerrit-plugins/* /var/gerrit/plugins/
 
+mkdir -p /var/gerrit/static
+cp -r /var/gerrit-theme/*png /var/gerrit/static/
+cp -r /var/gerrit-theme/*css /var/gerrit/etc/
+
 echo "Starting config updater..."
 # Keep copying config over in background. We cannot run directly from
 # the configmap filesystem as gerrit really wants a read-write FS.
diff --git a/devtools/gerrit/kube/gerrit.libsonnet b/devtools/gerrit/kube/gerrit.libsonnet
index 0106f17..ba3180a 100644
--- a/devtools/gerrit/kube/gerrit.libsonnet
+++ b/devtools/gerrit/kube/gerrit.libsonnet
@@ -38,7 +38,7 @@
             address: "gerrit@hackerspace.pl",
         },
 
-        tag: "3.3.2-r1",
+        tag: "3.3.2-r3",
         image: "registry.k0.hswaw.net/q3k/gerrit:" + cfg.tag,
         resources: {
             requests: {
diff --git a/devtools/gerrit/theme/etc/GerritSite.css b/devtools/gerrit/theme/etc/GerritSite.css
new file mode 100644
index 0000000..97074f2
--- /dev/null
+++ b/devtools/gerrit/theme/etc/GerritSite.css
@@ -0,0 +1,7 @@
+html {
+    --header-background-color: #347dbe;
+    --header-text-color: #fff;
+    --header-title-content: "Gerrit";
+    --header-icon: url('/static/pepper-icon.png');
+    --header-icon-size: 1em;
+}
diff --git a/devtools/gerrit/theme/static/pepper-icon.png b/devtools/gerrit/theme/static/pepper-icon.png
new file mode 100644
index 0000000..7d12ab8
--- /dev/null
+++ b/devtools/gerrit/theme/static/pepper-icon.png
Binary files differ