[PATCH] Add reminder about uploading public key to keys.gnupg.net.

[Joel E. Denny]

I pushed this to master.

>From 06c3084fb5a566e802ba35a9cc54be51db7fe6f1 Mon Sep 17 00:00:00 2001
From: Joel E. Denny <address@hidden>
Date: Tue, 3 Feb 2009 03:08:32 -0500
Subject: [PATCH] Add reminder about uploading public key to keys.gnupg.net.

* HACKING (Release Procedure): Here.

diff --git a/HACKING b/HACKING
index 091ba66..10cac90 100644
--- a/HACKING
+++ b/HACKING
@@ -145,9 +145,15 @@ The generic GNU upload procedure is at:
 
   http://www.gnu.org/prep/maintain/maintain.html#Automated-FTP-Uploads
 
-After following the instructions there to register your information so you're
-permitted to upload, here's a brief reminder of how to roll the tarballs and
-upload them:
+Follow the instructions there to register your information so you're permitted
+to upload.  Make sure your public key has been uploaded at least to
+keys.gnupg.net.  You can upload it with:
+
+  gpg --keyserver keys.gnupg.net --send-keys F125BDF3
+
+where F125BDF3 should be replaced with your key ID.
+
+Here's a brief reminder of how to roll the tarballs and upload them:
 
 *** make distcheck
 *** gpg -b bison-2.3b.tar.gz
-- 
1.5.4.3