From a55d6f4b7f91d46fccddbabc7d8b4aad3bcd4029 Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Tue, 22 Nov 2022 00:02:53 +0100
Subject: [PATCH] remove broken nix-prefetch-github

---
 krebs/5pkgs/simple/nix-prefetch-github.nix | 25 ----------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 krebs/5pkgs/simple/nix-prefetch-github.nix

diff --git a/krebs/5pkgs/simple/nix-prefetch-github.nix b/krebs/5pkgs/simple/nix-prefetch-github.nix
deleted file mode 100644
index 14096c33f..000000000
--- a/krebs/5pkgs/simple/nix-prefetch-github.nix
+++ /dev/null
@@ -1,25 +0,0 @@
-{ curl, jq, nix, writeDashBin }:
-
-writeDashBin "nix-prefetch-github" ''
-  # usage: nix-prefetch-github OWNER REPO [REF]
-  set -efu
-
-  owner=$1
-  repo=$2
-  ref=''${3-master}
-
-  info_url=https://api.github.com/repos/$owner/$repo/commits/$ref
-  info=$(${curl}/bin/curl -fsS "$info_url")
-  rev=$(printf %s "$info" | ${jq}/bin/jq -r .sha)
-
-  name=$owner-$repo-$ref
-  url=https://github.com/$owner/$repo/tarball/$rev
-  sha256=$(${nix}/bin/nix-prefetch-url --name "$name" --unpack "$url")
-
-  export owner repo rev sha256
-  ${jq}/bin/jq -n '
-    env | {
-      owner, repo, rev, sha256
-    }
-  '
-''