From dd476abe4fa012033f3e1ba7ee0823da94e1f468 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Wed, 29 Mar 2023 15:27:24 +0200
Subject: [PATCH] auto update github ssh known hosts.

---
 gitinitconfig.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gitinitconfig.sh b/gitinitconfig.sh
index 0ea4201..b9c9832 100755
--- a/gitinitconfig.sh
+++ b/gitinitconfig.sh
@@ -1,2 +1,4 @@
 !#/bin/bash
-git config --global init.defaultBranch master
\ No newline at end of file
+git config --global init.defaultBranch master
+
+ssh-keyscan -H github.com >> /home/jovyan/.ssh/known_hosts
-- 
GitLab