From 456d0f9809268949b05288006145ddd4554d5a2e Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Sat, 18 Feb 2017 20:38:05 +0000 Subject: [PATCH] take arm02-builder11 out, it has a bad drive --- inventory/builders | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/inventory/builders b/inventory/builders index b7abbd6c1a..e69e3f5c8c 100644 --- a/inventory/builders +++ b/inventory/builders @@ -257,7 +257,8 @@ arm02-builder06.arm.fedoraproject.org arm02-builder08.arm.fedoraproject.org arm02-builder09.arm.fedoraproject.org arm02-builder10.arm.fedoraproject.org -arm02-builder11.arm.fedoraproject.org +# bad drive, needs replacement +#arm02-builder11.arm.fedoraproject.org arm02-builder12.arm.fedoraproject.org arm02-builder13.arm.fedoraproject.org arm02-builder14.arm.fedoraproject.org