From 3fe64392414672a77eeefa264285ec16d4778ab6 Mon Sep 17 00:00:00 2001
From: Moritz Eysholdt <moritz@gitpod.io>
Date: Wed, 9 Nov 2022 16:39:13 +0000
Subject: [PATCH] Optionally consume Leeway from git

---
 .werft/build.yaml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.werft/build.yaml b/.werft/build.yaml
index 1b3f8376fd0c81..bfb671ed87c605 100644
--- a/.werft/build.yaml
+++ b/.werft/build.yaml
@@ -241,6 +241,15 @@ pod:
           echo "done" \
         ) | werft log slice "chowning /workspace and $GOCACHE"
 
+        {{ if .Annotations.leewayfromgit }}
+        ( \
+          LEEWAY_SRC="github.com/gitpod-io/leeway@{{ .Annotations.leewayfromgit }}" && \
+          echo "Installing Leeway from $LEEWAY_SRC" && \
+          GOBIN=$(pwd) go install "$LEEWAY_SRC" && \
+          sudo mv leeway $(dirname $(which leeway))
+        ) | 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 && \