script to add ssh keys

tools/scripts/setup_ssh_keys.py

@@ -0,0 +1,20 @@
+#!/usr/bin/env python3
+
+import requests
+from common.params import Params
+import sys
+
+
+if __name__ == "__main__":
+  if len(sys.argv) < 2:
+    print("%s <github username>" % sys.argv[0])
+    exit(1)
+
+  username = sys.argv[1]
+  keys = requests.get(f"https://github.com/{username}.keys")
+
+  if keys.status_code == 200:
+    Params().put("GithubSshKeys", keys.text)
+    print("Setup ssh keys sucessfully")
+  else:
+    print("Error getting public keys from github")