Github Pubkeys - grab all keys from a list of users to generate an authorized_keys file

gh-pubkeys.sh

#!/bin/bash

set -e -u -o pipefail

# Provide a default list of users.  This can be overriden by supplying the
# environment variable "USERS"
USERS=${USERS:-'brianredbeard chancez crawford ivancherepov kbrwn'}

for name in ${USERS}; do
        curl -Ls http://github.com/${name}.keys | \
        sed -e "s/\$/ github-user:${name}/g" -e "s/^/  - /"
done