From df07074e4f30b223ad3c50f772bfaa00fdf7857e Mon Sep 17 00:00:00 2001 From: Nintendofan885 <66736551+Nintendofan885@users.noreply.github.com> Date: Mon, 3 Aug 2020 16:05:19 +0100 Subject: [PATCH] Update service name for SSH See https://wikitech.wikimedia.org/wiki/News/Toolforge.org#New_service_names_for_accessing_Toolforge_SSH_bastions for more information --- tools/push-to-toolforge.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/push-to-toolforge.sh b/tools/push-to-toolforge.sh index 98c6b1d..c3b35c0 100644 --- a/tools/push-to-toolforge.sh +++ b/tools/push-to-toolforge.sh @@ -1,4 +1,4 @@ #!/bin/bash -pscp ../{criteria.py,app.py,list-users-for-review-rights.py,Pipfile,Pipfile.lock} countcount@login.tools.wmflabs.org:/data/project/flaggedrevspromotioncheck/www/python/src/ -plink countcount@login.tools.wmflabs.org become flaggedrevspromotioncheck webservice --backend=kubernetes python3.7 restart +pscp ../{criteria.py,app.py,list-users-for-review-rights.py,Pipfile,Pipfile.lock} countcount@login.toolforge.org:/data/project/flaggedrevspromotioncheck/www/python/src/ +plink countcount@login.toolforge.org become flaggedrevspromotioncheck webservice --backend=kubernetes python3.7 restart