mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00
![]() - Update branch name to prefix with project as it can be hard to differentiate when filtering by or trying to set targets, given some targets are extremely common (e.g. `master`/`main`) and not all fields are filtered by project (or even can be). - Add a proper menu item and list view for batches, maybe it'll be of use one day. - Upgrade label in PR search, it's more likely to be needed than author or target. - Put PRs first in the mergebot menu, as it's *by far* the most likely item to look for, unless it's staging in order to cancel one. |
||
---|---|---|
.. | ||
batch.xml | ||
configuration.xml | ||
mergebot.xml | ||
queues.xml | ||
res_partner.xml | ||
runbot_merge_project.xml | ||
templates.xml |