get_gitid is no longer useful

diff --git a/get_gitid b/get_gitid
deleted file mode 100755 (executable)
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