Add openpilot tools

tools/scripts/setup_ssh_keys.py

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