xmo-odoo 429257d013 [FIX] runbot_merge: resync tags on stage change ... Before this change mergebot assumes github's tags are in sync with its "previous" state, but because tags update was highly non-atomic (one call per removal plus one for additions) and state can further change between a failure and an update retry (especially as the labels endpoint fails *a lot*), it's possible for set tags (in github) to be completely desync'd from the mergebot state, leading to very misleading on-pr indications. This first fetches the current tagstate from github (to not lose non- mergebot tags) then (hopefully atomically) resets all tags tags based on the current mergebot state. This should avoid desyncs, and eventually resync PRs (if they change state). Fixes #170		2019-08-21 11:17:04 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: resync tags on stage change	2019-08-21 11:17:04 +02:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00