From 69f33d24896cd12634189a4a4c76793b22ba0e07 Mon Sep 17 00:00:00 2001
From: Stephen Rothwell <sfr@canb.auug.org.au>
Date: Wed, 3 Jul 2019 17:10:25 +1000
Subject: [PATCH] get_gitid is no longer useful

---
 get_gitid | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 get_gitid

diff --git a/get_gitid b/get_gitid
deleted file mode 100755
index 8c86f7f..0000000
--- a/get_gitid
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-if [ "$1" = "${1#3}" ]; then
-	dir=v2.6
-else
-	dir=v3.0
-fi
-
-wget -q -O - http://www.kernel.org/pub/linux/kernel/$dir/snapshots/patch-$1.id
-- 
2.39.5