mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00
[FIX] runbot_merge: incorrect deref'
in controller, pr is the dict of the PR coming from github, pr_obj is the odoo-level PR object (if any)
This commit is contained in:
parent
289c3deee8
commit
18736d282f
@ -154,7 +154,7 @@ def handle_pr(env, event):
|
||||
return 'No update to pr head'
|
||||
|
||||
if pr_obj.state in ('closed', 'merged'):
|
||||
_logger.error("Tentative sync to closed PR %s", pr.display_name)
|
||||
_logger.error("Tentative sync to closed PR %s", pr_obj.display_name)
|
||||
return "It's my understanding that closed/merged PRs don't get sync'd"
|
||||
|
||||
if pr_obj.state == 'ready':
|
||||
|
Loading…
Reference in New Issue
Block a user