From 955b44404cc16fefa038f85d4c58929ba558e5be Mon Sep 17 00:00:00 2001
From: Erik Arvstedt <erik.arvstedt@gmail.com>
Date: Wed, 8 Sep 2021 17:01:11 +0200
Subject: [PATCH] delete helper/fetch-channel

This script was obsoleted by switching to flakes.
---
 helper/fetch-channel | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 helper/fetch-channel

diff --git a/helper/fetch-channel b/helper/fetch-channel
deleted file mode 100755
index bdc64d1..0000000
--- a/helper/fetch-channel
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-
-rev=$1
-sha256=$(nix-prefetch-url --unpack https://github.com/nixos/nixpkgs/archive/$rev.tar.gz)
-echo "rev = \"$rev\";"
-echo "sha256 = \"$sha256\";"