From 0ead82288ae02e874cd77339541711cdd18ad6ed Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 19 Dec 2016 22:06:33 +0100 Subject: fix level Signed-off-by: Holger Levsen --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index ff8f3860..2c901611 100644 --- a/TODO +++ b/TODO @@ -52,7 +52,7 @@ See link:https://jenkins.debian.net/userContent/about.html["about jenkins.debian The idea is to run a jenkins.d.o host, which is maintained by DSA, but we are maintaining jenkins on it (so we can install any plugins we like etc). then we also setup several jenkins nodes, in the long term probably/maybe also maintained by DSA, on which we can use sudo as we need it. -==== next steps for jenkins.d.o migration +=== next steps for jenkins.d.o migration * The machine jerea.debian.org is setup, please go to https://jenkins.debian.org * login using link:https://sso.debian.org[Debian SSO] -- cgit v1.2.3-70-g09d2