prune weird branches etc.

[dgit-junk.git] / TODO

diff --git a/TODO b/TODO
index bbbc6a494d319055cecbff4022cb61bfd81363c9..cb61efff49ec19a251d8d1a6c7d7deac75727545 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,21 +1,8 @@
 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)