[no subject]

[Ludovic Courtès]

branch: master
commit 317d8fc812bad7678e888cf0a42eef8f91186553
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Tue Sep 26 12:18:20 2023 +0200

    Update TODO.
---
 TODO | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/TODO b/TODO
index 6f274f9..5edda2a 100644
--- a/TODO
+++ b/TODO
@@ -3,17 +3,6 @@
 #+TITLE: What's left to do?
 #+STARTUP: content hidestars
 
-* Agentize everything
-
-  - fetch/evaluate
-  - build
-  - metrics
-
-* Implement web hooks
-
-  - add a POST endpoint so we don't have to pull
-  - see 
https://docs.gitlab.com/15.11/ee/user/project/integrations/webhooks.html
-
 * Notify instead of polling
 
   - 'register' notifies 'remote-server' of available builds