remove strict host key checking requirement

lib/gen-ssh-config.nix

@@ -15,7 +15,6 @@ let
 
 in
 builtins.toFile "ssh-config" (''
-  StrictHostKeyChecking yes
   GlobalKnownHostsFile ${sshKnownHostsTxt}
 '' +
 lib.concatMapStrings

pkgs/deploy/deploy.py

@@ -7,12 +7,6 @@ from subprocess import run, PIPE, STDOUT
 from sys import argv
 
 
-def strict_host_key_checking():
-    txt = run(["ssh", "-G", "localhost"], stdout=PIPE).stdout
-    if "stricthostkeychecking true" not in txt.decode("utf8").splitlines():
-        raise RuntimeError("This script requires StrictHostKeyChecking")
-
-
 def get_deployment():
     return loads(
         run(
@@ -183,7 +177,6 @@ def main():
 
 icon_bad = "\u274c"
 icon_good = "\u2705"
-strict_host_key_checking()
 depl = get_deployment()
 tags = set(sum([depl[name]["tags"] for name in depl], []))
 if __name__ == "__main__":