diff options
| author | seth <[email protected]> | 2024-10-16 21:07:43 -0400 |
|---|---|---|
| committer | seth <[email protected]> | 2024-10-16 23:23:33 -0400 |
| commit | d4f7c581955195ffdb7246b35cd264702564b2d6 (patch) | |
| tree | 045336243a45cd3c48fd878ded96db065b4ef367 /pkgs/check-pr/package.nix | |
| parent | 3a4f1dd416e64f1ec4c8b1a3448c5474b0ba3f1f (diff) | |
check-pr,nixgc: drop
Diffstat (limited to 'pkgs/check-pr/package.nix')
| -rw-r--r-- | pkgs/check-pr/package.nix | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/check-pr/package.nix b/pkgs/check-pr/package.nix deleted file mode 100644 index 3c5961b..0000000 --- a/pkgs/check-pr/package.nix +++ /dev/null @@ -1,13 +0,0 @@ -{ writeShellApplication }: -writeShellApplication { - name = "check-pr"; - text = '' - _usage=" - usage: check-pr <owner/repo> <pr_id> [package] - " - - [ "$#" -lt 2 ] && echo -n "$_usage" && exit 1 - - nix run "github:$1?ref=pull/$2/head''${3:+#$3}" - ''; -} |