chiark / gitweb /
git-workflows: final delimiter
[dgit-junk.git] / README.update
index d535a09e04e08b2865f06bb2c9b41f4e6bc36f52..6d8eda9f1f03b23bf60ac069f6e274c706ea673f 100644 (file)
@@ -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
  # 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<-