runbot/runbot_merge/migrations/13.0.1.5
Xavier Morel c78ffb9e3f [CHG] runbot_merge: branch_ids -> branch_filter
On per-repo status configurations, convert the "branch_ids" filter to
a domain on branches. Since the selection is generally
binary (statuses either apply to the master branch or apply to
non-master branch) this avoids error-prone missed updates where we
forget to enable statuses pretty much every time we fork off a new
branch.

Fixes #404
2020-10-02 15:28:36 +02:00
..
pre-migration.py [CHG] runbot_merge: branch_ids -> branch_filter 2020-10-02 15:28:36 +02:00