From 893071cf2cedbbeb68fbdb65ac63176f926494e4 Mon Sep 17 00:00:00 2001
From: Paul Melnikow <github@paulmelnikow.com>
Date: Fri, 11 Jan 2019 14:39:41 -0500
Subject: [PATCH] Add a script used for backing up the production GitHub tokens
 (#2737)

---
 scripts/github_token_backup.fish | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 scripts/github_token_backup.fish

diff --git a/scripts/github_token_backup.fish b/scripts/github_token_backup.fish
new file mode 100755
index 0000000000..0d747c3a6b
--- /dev/null
+++ b/scripts/github_token_backup.fish
@@ -0,0 +1,19 @@
+#!/usr/bin/env fish
+#
+# Back up the GitHub tokens from each production server.
+#
+
+if test (count $argv) -lt 1
+  echo Usage: (basename (status -f)) shields_secret
+end
+
+set shields_secret $argv[1]
+
+function do_backup
+  set server $argv[1]
+  curl --insecure -u ":$shields_secret" "https://$server.shields-server.com/\$github-auth/tokens" > "$server""_tokens.json"
+end
+
+for server in s0 s1 s2
+  do_backup $server
+end