hackdoc: deploy

There's an issue with the registry that forbids me from pushing into
anything but my personal namespace - might have been introduced by
0697e01144 . For now, I move the hackdoc
image to my personal namespace, as at some point in the future I want to
revamp the registry system, anyway.

We also drive-by fix a mirko.libsonnet typo that, for some reason,
hasn't manifested itself yet.

Change-Id: I8544e4a52610fb84c5c9d8b0de449f785248f60f

devtools/hackdoc/BUILD.bazel

@@ -50,6 +50,6 @@ container_push(
     image = ":runtime",
     format = "Docker",
     registry = "registry.k0.hswaw.net",
-    repository = "devtools/hackdoc",
+    repository = "q3k/hackdoc",
     tag = "{BUILD_TIMESTAMP}-{STABLE_GIT_COMMIT}",
 )

devtools/kube/hackdoc.libsonnet

@@ -3,7 +3,7 @@ local kube = import "../../kube/kube.libsonnet";
 
 {
     cfg:: {
-        image: "registry.k0.hswaw.net/devtools/hackdoc:1586734631-4b4a33a6931938f7651df1ae14133c979a924d15",
+        image: "registry.k0.hswaw.net/q3k/hackdoc:1597078177-b6554a0dcef89157a79814f3febcfd9418c9b747",
         publicFQDN: error "public FQDN must be set",
     },
 

kube/mirko.libsonnet

@@ -56,7 +56,7 @@ local kube = import "kube.libsonnet";
                 annotations+: {
                     "kubernetes.io/tls-acme": "true",
                     "certmanager.k8s.io/cluster-issuer": "letsencrypt-prod",
-                    [if env.ingressServerSnippet != null]: "nginx.ingress.kubernetes.io/server-snippet": env.ingressServerSnippet,
+                    [if env.ingressServerSnippet != null then "nginx.ingress.kubernetes.io/server-snippet"]: env.ingressServerSnippet,
                     [if std.length(env.extraHeaders) > 0 then "nginx.ingress.kubernetes.io/configuration-snippet"]:
                         std.join("\n", ["proxy_set_header %s;" % [h] for h in env.extraHeaders]),
                 },