mirror of
https://github.com/odoo/runbot.git
synced 2025-03-25 04:15:53 +07:00
1b5a05e40c
1. if we try to stage a PR and realize we'd stored / checked the wrong head, cancel the staging and notify the PR 2. provide a command to forcefully update pr heads (or at least check that a PR's head is up to date) Closes #241
7 lines
115 B
Python
7 lines
115 B
Python
class MergeError(Exception):
|
|
pass
|
|
class FastForwardError(Exception):
|
|
pass
|
|
class Skip(MergeError):
|
|
pass
|