Last active
July 9, 2024 14:13
-
-
Save lorenzleutgeb/239214f1d60b1cf8c79e7b0dc0483deb to your computer and use it in GitHub Desktop.
Nixpkgs Committer Progress
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #! /usr/bin/env nix-shell | |
| #! nix-shell -i bash -p bash gh | |
| set -eu | |
| # See <https://gist.github.com/lorenzleutgeb/239214f1d60b1cf8c79e7b0dc0483deb>. | |
| # Will exit non-zero if not logged in. | |
| gh auth status | |
| if [ $# == 1 ] | |
| then | |
| # Pass GitHub login name as commandline argument. | |
| LOGIN=$1 | |
| else | |
| # Default to currently logged in user. | |
| LOGIN=$(gh api user --jq .login) | |
| fi | |
| BASE="gh pr list --repo NixOS/nixpkgs --json id --jq length --limit 500" | |
| MERGED=$($BASE --author "$LOGIN" --state merged) | |
| REVIEWED=$($BASE --search "reviewed-by:$LOGIN -author:$LOGIN" --state all) | |
| cat << EOM | |
| ―――――――――― | |
| - [$MERGED PRs merged](https://github.com/NixOS/nixpkgs/pulls?q=is%3Apr+is%3Amerged+author%3A$LOGIN) | |
| - [$REVIEWED PRs reviewed](https://github.com/NixOS/nixpkgs/pulls?q=is%3Apr+reviewed-by%3A$LOGIN+-author%3A$LOGIN) | |
| EOM |
That doesn't work here...
❯ nix repl --file "<nixpkgs>" Welcome to Nix 2.17.0. Type :? for help. warning: Nix search path entry '/nix/var/nix/profiles/per-user/root/channels/nixos' does not exist, ignoring error: file 'nixpkgs' was not found in the Nix search path (add it using $NIX_PATH or -I) at «none»:0: (source not available)
Did you relogin so the env var gets updated
Nope... trying.
It works! Thanks once again !
Great work @lorenzleutgeb ! Works very nicely for me !
@lorenzleutgeb Maybe add a link this gist as a reference to the source in the script?
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
That doesn't work here...