starknet-check.sh

#! /usr/bin/env nix-shell
#! nix-shell -i bash -p bash gh curl jq
set -euo pipefail

REV="main" # 2c50fffdcecb245836ed02cb5c2480a57bdcfef7 as of 2024-03-18
URL_BASE="https://github.com/starknet-io/provisions-data/raw/${REV}/github"

if [ $# == 1 ]
then # use GitHub username passed via commandline argument.
    LOGIN=$1
else # try to get to currently logged in user via `gh`.
    LOGIN="$(gh api user --jq .login)"
fi

jq \
    --arg login "$LOGIN" \
    'reduce .[] as $x ([]; . + $x.eligibles) | .[] | select(.identity == $login)' \
    --slurp \
    <(curl -L "$URL_BASE/github-0.json") \
    <(curl -L "$URL_BASE/github-1.json")