mirror of
https://github.com/odoo/runbot.git
synced 2025-03-19 09:25:46 +07:00
![]() When a user changes the merge method via github messages, no feedback is sent. This could lead to strange behavior, for example when a user try to joke with the mergebot like this: > robodoo are you goin ti merge my PR rogntudju ! This sets the merge method to "merge" and the user is not aware of it. |
||
---|---|---|
.. | ||
__init__.py | ||
pull_requests.py | ||
res_partner.py |