Diederik has uploaded a new change for review.
https://gerrit.wikimedia.org/r/108721
Change subject: Fix ignored hosts not set.
......................................................................
Fix ignored hosts not set.
Change-Id: I627fc4d5c4000ce8d5debb73db964a3c68407bf3
---
M labs-migration-assistant/fabfile.py
1 file changed, 2 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/labs/migration-assistant
refs/changes/21/108721/1
diff --git a/labs-migration-assistant/fabfile.py
b/labs-migration-assistant/fabfile.py
index 51d0536..a0eda72 100644
--- a/labs-migration-assistant/fabfile.py
+++ b/labs-migration-assistant/fabfile.py
@@ -57,6 +57,8 @@
env.disable_known_hosts = True
env.reject_unknown_hosts = False
env.gateway = 'bastion.wmflabs.org'
+if not 'ignored_hosts' in env:
+ env.ignored_hosts = ''
env.ignored_hosts = env.ignored_hosts.split(';')
env.key_filename = os.path.join(os.path.expanduser('~'), '.ssh/id_rsa')
--
To view, visit https://gerrit.wikimedia.org/r/108721
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I627fc4d5c4000ce8d5debb73db964a3c68407bf3
Gerrit-PatchSet: 1
Gerrit-Project: labs/migration-assistant
Gerrit-Branch: master
Gerrit-Owner: Diederik <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits