From 7dce71727d874e4eb8a102c4f20df20aef761ddc Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 27 Aug 2015 19:28:15 +0200 Subject: jenkins.debian.org will be served from jerea.debian.org --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index fb3494c9..74e9c788 100644 --- a/TODO +++ b/TODO @@ -65,7 +65,7 @@ The plan is to run a jenkins.d.o host, which is maintained by DSA, but we are ma * add more pressure to DSA to get jenkins.d.o set up ** "having this mid september is doable, just grab some from DSA on irc" -** the machine is already setup, it just needs the name changed. +** the machine jerea.debian.org is already setup, it just needs the the alias added. ** weasel/h01ger: install jenkins.deb from jenkins-ci.org *** also create jenkins users in jenkins (KISS) ** install slaves - how (to automate)? -- cgit v1.2.3-70-g09d2