set github username in key setup script

old-commit-hash: 732006b0bc
4 years ago · c41e23070b
parent d67b194790
commit c41e23070b
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")