From c41e23070bda832b56e03702b1c1fd454f17b953 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Tue, 25 May 2021 15:45:29 -0700 Subject: [PATCH] set github username in key setup script old-commit-hash: 732006b0bc2813689fd161a553a5c19b5bb78420 --- tools/scripts/setup_ssh_keys.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/scripts/setup_ssh_keys.py b/tools/scripts/setup_ssh_keys.py index f6f665de7a..7bb03d7ee3 100755 --- a/tools/scripts/setup_ssh_keys.py +++ b/tools/scripts/setup_ssh_keys.py @@ -15,6 +15,7 @@ if __name__ == "__main__": if keys.status_code == 200: Params().put("GithubSshKeys", keys.text) + Params().put("GithubUsername", username) print("Setup ssh keys sucessfully") else: print("Error getting public keys from github")