From a2799cd22add876372d3c59957cd40097a2f921c Mon Sep 17 00:00:00 2001
From: Jacob Bachmeyer <jcb@gnu.org>
Date: Fri, 31 Mar 2023 23:33:32 -0500
Subject: [PATCH] Remove "send-gpg-public-keys.sh"

With the ongoing attacks on the public synchronizing keyservers, this tool is
no longer useful.
---
 send-gpg-public-keys.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 send-gpg-public-keys.sh

diff --git a/send-gpg-public-keys.sh b/send-gpg-public-keys.sh
deleted file mode 100755
index 5e9e48a..0000000
--- a/send-gpg-public-keys.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-f=/home/ftp/gnu/gnu-keyring.gpg
-for k in $( gpg --list-keys < $f | grep ^pub | grep -v expired | grep -v revoked | awk '{ print $2 }' | cut -d/ -f 2 )
-do
-    gpg --keyserver hkp://pgp.mit.edu  --send-keys $k < $f
-done
-- 
2.25.1