set github username in key setup script

4 years ago · 732006b0bc
parent c736b7e5bb
commit 732006b0bc
1 changed files with 1 additions and 0 deletions
--- 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")