summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2017-05-03 14:27:42 +0200
committerHolger Levsen <holger@layer-acht.org>2017-05-03 14:27:42 +0200
commitda554cf225aa3c693ae449efe193762a5291e9a1 (patch)
tree079027c3a48318a99a39023e042d9241ee1892cf /bin
parentd8658e15935bc4f43c34703054797887f5d3774e (diff)
downloadjenkins.debian.net-da554cf225aa3c693ae449efe193762a5291e9a1.tar.xz
reproducible Debian: raise daily personal scheduling limit to 500, we've seen no abuse, and we can always revert this
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_remote_scheduler.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_remote_scheduler.py b/bin/reproducible_remote_scheduler.py
index ff14806c..2dab13ba 100755
--- a/bin/reproducible_remote_scheduler.py
+++ b/bin/reproducible_remote_scheduler.py
@@ -212,7 +212,7 @@ date = (now - time_delta).strftime('%Y-%m-%d %H:%M')
log.debug('date_scheduled = ' + date + ' time_delta = ' + str(time_delta))
-# a single person can't schedule more than 200 packages in the same day; this
+# a single person can't schedule more than 500 packages in the same day; this
# is actually easy to bypass, but let's give some trust to the Debian people
query = """SELECT count(*) FROM manual_scheduler
WHERE requester = '{}' AND date_request > '{}'"""
@@ -221,7 +221,7 @@ try:
except IndexError:
amount = 0
log.debug(requester + ' already scheduled ' + str(amount) + ' packages today')
-if amount + len(ids) > 200 and not local:
+if amount + len(ids) > 500 and not local:
log.error(bcolors.FAIL + 'You have exceeded the maximum number of manual ' +
'reschedulings allowed for a day. Please ask in ' +
'#debian-reproducible if you need to schedule more packages.' +