reproduicble lede+openwrt actually use profitbricks-build4

Signed-off-by: Holger Levsen <holger@layer-acht.org>

1 files changed, 0 insertions, 1 deletions

diff --git a/TODO b/TODO
index bb284eea..480bb426 100644
--- a/TODO
+++ b/TODO
@@ -250,7 +250,6 @@ The idea is to run a jenkins.d.o host, which is maintained by DSA, but we are ma
 ** fedora
 ** archlinux
 ** (fdroid)
-** (openwrt|lede-project)
 
 ==== reproducible coreboot