From 04e235d76e9d55cc4d4612f76f0dbbb9793e6c87 Mon Sep 17 00:00:00 2001 From: Elliott Slaughter Date: Fri, 24 Mar 2023 08:54:14 -0700 Subject: [PATCH] tools: Update GitHub host key. --- tools/add_github_host_key.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/add_github_host_key.sh b/tools/add_github_host_key.sh index 48cbcac724..93d4e915bb 100755 --- a/tools/add_github_host_key.sh +++ b/tools/add_github_host_key.sh @@ -7,7 +7,9 @@ mkdir -p "$HOME/.ssh" chmod og-rwx "$HOME/.ssh" cat >> "$HOME/.ssh/known_hosts" <