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