From 58c256772be590395d1afecb6f2e6b20314bcc7e Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 12 Aug 2019 02:24:43 +0300
Subject: more robust ssh calls

---
 pull/cgit.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pull/cgit.py b/pull/cgit.py
index 8f29aed..ec7876c 100644
--- a/pull/cgit.py
+++ b/pull/cgit.py
@@ -9,7 +9,7 @@ from pull.utils import chdir, check_output, run
 
 
 _ENV = os.environ.copy()
-_ENV['GIT_SSH_COMMAND'] = 'ssh -oStrictHostKeyChecking=no -oBatchMode=yes'
+_ENV['GIT_SSH_COMMAND'] = 'ssh -oBatchMode=yes -oLogLevel=QUIET -oStrictHostKeyChecking=no -oUserKnownHostsFile=/dev/null'
 
 
 def _run(*args, **kwargs):
-- 
cgit v1.2.3