mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00
label id is an int, not a string
This commit is contained in:
parent
d46035c7f7
commit
0d8df5ea0b
@ -866,8 +866,9 @@ class RunbotController(http.Controller):
|
|||||||
issue_number = int(issue_number[2])
|
issue_number = int(issue_number[2])
|
||||||
else:
|
else:
|
||||||
# not a pull request
|
# not a pull request
|
||||||
return False
|
return werkzeug.utils.redirect('/runbot/repo/%s' % build.repo_id.id)
|
||||||
|
|
||||||
|
label_id = int(label_id)
|
||||||
if label_id not in LABELS:
|
if label_id not in LABELS:
|
||||||
_logger.exception("unknown label")
|
_logger.exception("unknown label")
|
||||||
else:
|
else:
|
||||||
@ -893,7 +894,7 @@ class RunbotController(http.Controller):
|
|||||||
_logger.debug("added github label %s for %s: %s", (label_name, issue_number))
|
_logger.debug("added github label %s for %s: %s", (label_name, issue_number))
|
||||||
except Exception, e:
|
except Exception, e:
|
||||||
_logger.exception("github error while adding label %s" % label_name)
|
_logger.exception("github error while adding label %s" % label_name)
|
||||||
return True
|
return werkzeug.utils.redirect('/runbot/repo/%s' % build.repo_id.id)
|
||||||
|
|
||||||
|
|
||||||
LABELS = {
|
LABELS = {
|
||||||
|
Loading…
Reference in New Issue
Block a user