From 9c522ae109daa2a5231168526f3848ffd33d4cac Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 17 Sep 2018 09:17:39 +0300
Subject: Drop: one worker for ci-prod, to save money

---
 ci-prod-workers.hz | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ci-prod-workers.hz')

diff --git a/ci-prod-workers.hz b/ci-prod-workers.hz
index abd0f8f..1935659 100644
--- a/ci-prod-workers.hz
+++ b/ci-prod-workers.hz
@@ -3,4 +3,4 @@ defaults:
   image: debian-9
 hosts:
   - name: worker1
-  - name: worker2
+#  - name: worker2
-- 
cgit v1.2.1