adjust todo

[dgit-junk.git] / TODO

diff --git a/TODO b/TODO
index b089baeae489751549e2cce3dca78ef6c968330b..35dc85a93e275322f53771f3667fd1d04f8372b9 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,38 +1,16 @@
 THINGS FROM IRC TRANSCRIPTS
 
-arrange push hook to update list of repos for cgit
-arrange cron job to update list of repos for cgit
-
-change to use push.dgit.d.o
-
-set up a way to add userkeys to
-/etc/ssh/userkeys/dgit.more
-
 
 TRANSITION
 
-make repo move script create refs/heads/master
-
-make announcement when in testing
-
-remove old version from wheezy-backports
-
-wait
-
 switch:
-  - announce
-  - disable write to old repos (by linkfarming)
-  - copy repos
-      check no unexpected branches
-      check none ahead of archive or at least some signed tag, or something
+  - do test mirror
+  - move old repos aside
+  - run mirror again, and when it prints "done locally":
   - switch divert
-  - test a clone
+  - test two clones
+  - test dgit-test-dummy push
   - test a push of dgit-test-dummy
+  - wait for mirror again
   - announce
 
-
-CONSULT LATER
-
-ssh for DMs
-
-cgit