From: Jacob Bachmeyer <jcb@gnu.org>
Date: Sat, 1 Apr 2023 04:33:32 +0000 (-0500)
Subject: Remove "send-gpg-public-keys.sh"
X-Git-Url: https://vcs.fsf.org/?a=commitdiff_plain;h=a2799cd22add876372d3c59957cd40097a2f921c;p=gatekeeper.git

Remove "send-gpg-public-keys.sh"

With the ongoing attacks on the public synchronizing keyservers, this tool is
no longer useful.
---

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