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