Remove obsolete file

diff --git a/README.update b/README.update
deleted file mode 100644 (file)
index d535a09..0000000
--- a/README.update
+++ /dev/null
@@ -1,32 +0,0 @@
-#### infrastructure upgrade process
- # get right tree in git on zealot and make it pass all tests
- # push to inbound branches
-     git push gideon +HEAD:t
-     git push cgi +HEAD:t
- # prepare upload of dgit-test-dummy
-     XX dch -v1.12 -Dexperimental 'For testing infrastructure'
-     debcommit -a
-     dgit -wgf build
- # actually update infra on gideon and dgit-cgi
-     cd /srv/dgit.debian.org/dgit-live
-     git merge --ff-only t
- # do test push
-     dgit --deliberately-include-questionable-history push experimental
- # check that tree is visible with
-     curl https://git.dgit.debian.org/dgit-test-dummy/info/refs
-     dgit fetch experimental
- # fetch into zealot
-     git fetch -p gideon
-     git fetch -p cgi
-
-#### package upload
- # get right tree in git on zealot and make it pass all tests
- # push to chiark master
- # finalise changelog (including suite and urgency) and commit
- # build
-     PERLLIB=. ./dgit -wgf sbuild -c build
- # install
-     XX dpkg -i ../dgit_BLAH_all.deb
- # push
-     dgit -wgf push
- # push to chiark master