From db17965d72feb880372a45f85496c162ae9d9a66 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 20 Jun 2016 15:26:36 +0100
Subject: [PATCH] README.update: Finish up dm user key setup

---
 README.update | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/README.update b/README.update
index 6bd7e69..edd294e 100644
--- a/README.update
+++ b/README.update
@@ -53,3 +53,18 @@
   git-commit -m "Add a key`echo; echo; cat T`"
 
   git push
+
+On gideon as dgit
+
+ /srv/dgit.debian.org/config/update-dm-keys 
+
+Write email reply:
+-8<-
+Done.
+
+Please check that it works, with something like
+  dgit -cdgit-distro.debian.readonly=false clone dgit
+
+Regards,
+Ian.
+-8<-
-- 
2.30.2