added github AUTO deploy scripts

1 files changed, 29 insertions, 0 deletions

diff --git a/scripts/gh.py b/scripts/gh.py
new file mode 100644
index 0000000..13a8880
--- /dev/null
+++ b/scripts/gh.py
@@ -0,0 +1,29 @@
+import sys, os, json
+from subprocess import Popen, PIPE
+
+api_url = 'https://api.github.com/repos/tikzit/tikzit'
+
+tok = os.getenv('GITHUB_TOKEN', '')
+
+if tok == '':
+	print("Must set GITHUB_TOKEN environment variable.")
+	sys.exit(1)
+
+# pretty-print JSON responses
+def pr(j): print(json.dumps(j, indent=2))
+
+# call GitHub API with curl
+def gh(s, args=[]):
+    cmd = (["curl", "-s"] + args +
+           ["-H", "Authorization: token " + tok] +
+           [s if 'https://' in s else api_url + '/' + s])
+    # ONLY UN-COMMENT FOR TESTING:
+    # print(' '.join(cmd))
+    p = Popen(cmd, stdout=PIPE)
+    resp = p.stdout.read()
+    return json.loads(resp if resp else '{}')
+
+def get_release(n):
+  rs = [r for r in gh('releases') if r['name'] == n]
+  if len(rs) > 0: return rs[0]
+  else: return None