Xavier Morel 2a7a3c6167 [FIX] runbot_merge: don't close PRs pointing to dummy commit ... e98a8caffb added dummy commits to the heads of stagings and fixed most places to make a difference between the staging head (including dummy commit) and the actual merge head, but the difference was missed in the comment closing a PR, which was still using the staging head and thus pointing to the dummy commit e.g. (https://github.com/odoo/odoo/pull/26821#issuecomment-420244592)		2018-09-11 13:53:41 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: don't close PRs pointing to dummy commit	2018-09-11 13:53:41 +02:00
res_partner.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00