chiark / gitweb /
done
[dgit-junk.git] / TODO
diff --git a/TODO b/TODO
index bbbc6a494d319055cecbff4022cb61bfd81363c9..2740fc0fb664720aa75e376798c1c8a018e2bcdb 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,21 +1,10 @@
 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)