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
..
13.0.1.1	[FIX] runbot_merge: statuses migration script should be for 13.0	2020-01-29 13:29:21 +01:00
13.0.1.2	[IMP] runbot_merge: make review rights repo-dependent	2020-02-11 08:07:57 +01:00
13.0.1.3	[FIX] runbot_merge: make github_login case insensitive	2020-02-11 09:17:52 +01:00
13.0.1.4	[ADD] runbot_merge: migration for repository status split	2020-07-14 13:34:05 +02:00
13.0.1.5	[CHG] runbot_merge: branch_ids -> branch_filter	2020-10-02 15:28:36 +02:00