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