Optionally consume Leeway from git

Author: meysholdt

.werft/build.yaml

@@ -236,6 +236,10 @@ pod:
           echo "done" \
         ) | werft log slice "chowning /workspace and $GOCACHE"
 
+        {{ if .Annotations.leewayfromgit }}
+        scripts/install-leeway-from-git.sh "{{ .Annotations.leewayfromgit }}" | werft log slice "Building fresh Leeway binary from source"
+        {{ end }}
+
         ( \
           mkdir -p /workspace/.ssh && \
           cp /mnt/secrets/harvester-vm-ssh-keys/id_rsa /workspace/.ssh/id_rsa_harvester_vm && \

scripts/install-leeway-from-git.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+
+# This script clones the leeway repo, builds leeway, and replaces the "leeway" binary in this workspace with the newly build binary.
+
+set -Eeuo pipefail
+
+BRANCH=$1
+BIN=$(whereis leeway | sed "s/leeway: //")
+
+DIR=$(mktemp -d)
+echo "Cloning Leeway into $DIR"
+cd "$DIR"
+git clone https://github.com/gitpod-io/leeway.git --branch "$BRANCH"
+
+cd leeway
+go build
+echo ""
+echo "Replacing $BIN with the newly build binary".
+sudo cp leeway "$BIN"