From a02dd372b9519a1a4147f8519ad33c18afaed957 Mon Sep 17 00:00:00 2001
From: Timo Hocker <t-hocker@web.de>
Date: Wed, 13 May 2020 16:03:15 +0200
Subject: [PATCH] adapt jenkins.js

---
 jenkins.js | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/jenkins.js b/jenkins.js
index a9ca3a3..0cd1194 100644
--- a/jenkins.js
+++ b/jenkins.js
@@ -1,6 +1,5 @@
-/* eslint-disable no-process-exit */
-/* eslint-disable no-console */
-/* eslint-disable no-sync */
+/* eslint-disable */
+
 'use strict';
 
 const fs = require ('fs');
@@ -32,7 +31,6 @@ function major (version) {
 
 if (fs.existsSync ('README.md')) {
   const readme = fs.readFileSync ('README.md', 'utf-8');
-  // eslint-disable-next-line prefer-named-capture-group
   const version = (/version: ([0-9.]+)/ui).exec (readme);
   if (
     version === null