From 5f3f27f2eae4a53f72857b518da4550f8ddd6d46 Mon Sep 17 00:00:00 2001
From: Benjamin Bohard <bbohard@cadoles.com>
Date: Wed, 21 Mar 2018 10:17:08 +0100
Subject: [PATCH] How to distribute gpg public key?

---
 aptly.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/aptly.sh b/aptly.sh
index e89207b..180e4a0 100755
--- a/aptly.sh
+++ b/aptly.sh
@@ -17,7 +17,6 @@ EOF
 export PINENTRY_USER_DATA="USE_CURSES=1"
 gpg --gen-key --batch keyparms
 gpg --export --armor > /signing-key/dev.pubkey
-gpg --export --armor > /aptly/public/dev.gpg
 
 aptly repo create --component="main" --distribution="ubuntu" dev
 aptly repo add dev /packages