TODO all done

diff --git a/TODO b/TODO
deleted file mode 100644 (file)
index 35dc85a..0000000
--- a/TODO
+++ /dev/null
@@ -1,16 +0,0 @@
-THINGS FROM IRC TRANSCRIPTS
-
-
-TRANSITION
-
-switch:
-  - do test mirror
-  - move old repos aside
-  - run mirror again, and when it prints "done locally":
-  - switch divert
-  - test two clones
-  - test dgit-test-dummy push
-  - test a push of dgit-test-dummy
-  - wait for mirror again
-  - announce
-