mirror of
https://github.com/odoo/runbot.git
synced 2025-03-19 01:15:48 +07:00
41cdc7e5f9
The number is probably the most common search criteria for PRs (to track their status / issues). Having to go through custom filters to find one is a pain in the ass. Already done live by editing the view, but means it's getting lost every time the module gets updated. closes #73 |
||
|---|---|---|
| .. | ||
| mergebot.xml | ||
| res_partner.xml | ||
| templates.xml | ||