Files
shields/scripts/github_token_backup.fish
Paul Melnikow 9b3db0774b Deprecate shields-server.com domain (#3666)
Now that these s0.server.shields.io entries are set up through the main DNS on Cloudflare, we don't need the shields-server.com domain anymore. One less thing to maintain.
2019-07-07 16:37:42 -04:00

20 lines
413 B
Fish
Executable File

#!/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.servers.shields.io/\$github-auth/tokens" > "$server""_tokens.json"
end
for server in s0 s1 s2
do_backup $server
end