diff --git a/TODOs.md b/TODOs.md
deleted file mode 100644
index 240855d..0000000
--- a/TODOs.md
+++ /dev/null
@@ -1 +0,0 @@
-1. Set up CI.