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<-