From 0f7088919f503dfe9554ccfe25c696198bff8191 Mon Sep 17 00:00:00 2001
From: fmessmer <felixmessmer@gmail.com>
Date: Thu, 7 Oct 2021 17:32:25 +0200
Subject: [PATCH] Revert "accept capital True and False"

This reverts commit 2dc2ac56774bea4eded1095b2bb08df869aa27fa.
---
 industrial_ci/src/util.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/industrial_ci/src/util.sh b/industrial_ci/src/util.sh
index bf40b7bf3..cb176b4b7 100644
--- a/industrial_ci/src/util.sh
+++ b/industrial_ci/src/util.sh
@@ -491,12 +491,8 @@ function ici_parse_jobs {
       _ici_parse_jobs_res="$3";;
   "true")
       _ici_parse_jobs_res="0";;
-  "True")
-      _ici_parse_jobs_res="0";;
   "false")
       _ici_parse_jobs_res="1";;
-  "False")
-      _ici_parse_jobs_res="1";;
   *)
       if ! [[ "$_ici_parse_jobs_res" =~ ^[0-9]+$ ]]; then
           ici_error "cannot parse $2=$_ici_parse_jobs_res as a number"