chiark / gitweb /
todos
[dgit-junk.git] / TODO
diff --git a/TODO b/TODO
index bbbc6a494d319055cecbff4022cb61bfd81363c9..65c10a9a4884855a198069a6dddc23f031ff19da 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,27 +1,14 @@
 THINGS FROM IRC TRANSCRIPTS
 
-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
+       xxx quite hard
   - switch divert
   - test a clone
   - test a push of dgit-test-dummy