X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=blobdiff_plain;f=README.update;h=6d8eda9f1f03b23bf60ac069f6e274c706ea673f;hp=d535a09e04e08b2865f06bb2c9b41f4e6bc36f52;hb=HEAD;hpb=2923297481cc544885f02db0294de8c0d7f321b0

diff --git a/README.update b/README.update
index d535a09..6d8eda9 100644
--- a/README.update
+++ b/README.update
@@ -11,7 +11,7 @@
      cd /srv/dgit.debian.org/dgit-live
      git merge --ff-only t
  # do test push
-     dgit --deliberately-include-questionable-history push experimental
+     dgit -wgf push experimental
  # check that tree is visible with
      curl https://git.dgit.debian.org/dgit-test-dummy/info/refs
      dgit fetch experimental
@@ -30,3 +30,42 @@
  # push
      dgit -wgf push
  # push to chiark master
+
+#### new DM key
+
+  save mail message to folder T
+  rsync -vP ijackson@chiark:mail/T .
+
+  cd ~/things/Dgit/dm-user-keys
+  ../play/get-new-dm-keys
+  cp ~/junk/debian-maintainers.gpg .gnupg/pubring.gpg 
+
+  HOME=`pwd` emacs -nw
+  M-x load-lib vm-pgg RET
+  M-x vm-visit-folder T
+  M-x set-va RET pgg-gpg-use-agent RET nil RET
+
+  check signature comes up as VALIDSIG
+  we expect TRUST_UNDEFINED
+
+  Use emacs to write-region the pubkey as <firstname>-<surname>.keys
+
+  git-add HWATEVER
+  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<-