chiark / gitweb /
*-to-master => *-to-pretest
[dgit-junk.git] / README.update
index 6bd7e69..edd294e 100644 (file)
   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<-