fix(CI): remove CircleCI ssh hack

GetTerminus · Apr 7, 2020 · 80d6eae · 80d6eae
1 parent 4a95ec7
commit 80d6eae
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tooling/ci/demos-deploy-ci.sh b/tooling/ci/demos-deploy-ci.sh
@@ -8,8 +8,6 @@
 
 # Clone the demo repo
 cd "$HOME" || exit
-# HACK: Avoid hosts unknown for GitHub: https://discuss.circleci.com/t/git-clone-fails-in-circle-2-0/15211
-mkdir ~/.ssh/ && echo -e "Host github.com\n\tStrictHostKeyChecking no\n" > ~/.ssh/config
 git clone git@github.com:GetTerminus/ui-demos-release.git
 
 # Enter the demos repo