diff options
author | Graham Christensen <graham@grahamc.com> | 2018-03-03 22:34:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-03 22:34:17 -0500 |
commit | b9f1a76f30dfe97591ab0316976c954e0e556bd9 (patch) | |
tree | 696db3651f47c8566917e76c48b69202848e7b29 /maintainers/scripts | |
parent | f6e943fd40b189a309271d55a80f063bb5e5efdc (diff) |
Revert "Convert maintainer file entries to attributes, add github handles"
This reverts commit aa47bac04f06aeea993dc2e2cc6649fde4f31ed7.
Diffstat (limited to 'maintainers/scripts')
-rwxr-xr-x | maintainers/scripts/check-maintainer-github-handles.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/maintainers/scripts/check-maintainer-github-handles.sh b/maintainers/scripts/check-maintainer-github-handles.sh deleted file mode 100755 index e389fde7d8aa8..0000000000000 --- a/maintainers/scripts/check-maintainer-github-handles.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/usr/bin/env nix-shell -#!nix-shell -i bash -p jq parallel - -# Example how to work with the `lib.maintainers` attrset. -# Can be used to check whether all user handles are still valid. - -set -e - -# checks whether a user handle can be found on github -function checkUser { - local user="$1" - local status= - status="$(curl --silent --head "https://github.com/${user}" | grep Status)" - printf "%s\t\t\t\t%s\n" "$status" "$user" -} -export -f checkUser - -# output the maintainers set as json -# and filter out the github username of each maintainer (if it exists) -# then check 100 at the same time -nix-instantiate -A lib.maintainers --eval --strict --json \ - | jq -r '.[]|.github' \ - | parallel -j100 checkUser |