From 03f63c0eff03aaf5e9b3154a7d036a7d4da1ab8f Mon Sep 17 00:00:00 2001
From: AugmenTab <tyler@flipstone.com>
Date: Thu, 25 Jan 2024 07:51:28 -0600
Subject: [PATCH] Adds GitHub SSH key to known hosts

---
 Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 9035ef6..36d4b03 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,5 +17,7 @@ RUN apt-get update && \
     apt-get install -qq -y --no-install-recommends nodejs && \
     apt-get clean
 
+RUN mkdir -p ~/.ssh/ && ssh-keyscan -t ed25519 github.com >> ~/.ssh/known_hosts
+
 RUN npm install -g npm@10.2.3
 RUN npm install -g spago@next purescript@0.15.12 purescript-psa@0.8.2 grunt-cli@1.4.3 esbuild@0.19.5