Xavier Morel 68cfeddaed [ADD] runbot_merge: display required statuses after merge ... Github makes it painfully difficult to access the statuses (especially their URL / related build) once a PR has been merged, as it's necessary to find the last non-staging commit mention / update in order to find its statuses checkbox thingie, open that, and access the statuses. The mergebot has all the links, so it can just display them in the merged mode as well rather than only display them in open mode. That way even on a merged PR the statuses are just two clicks away. Fixes #873		2024-05-30 15:28:25 +02:00
..
batch.xml	[IMP] runbot_merge: cleanup PR backend	2024-05-29 07:55:07 +02:00
configuration.xml	[REF] *: move most feedback messages to pseudo-templates	2023-06-14 16:01:45 +02:00
mergebot.xml	[IMP] runbot_merge: add staging duration	2024-05-30 15:11:38 +02:00
queues.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
res_partner.xml	[IMP] runbot_merge: view warnings around ACLs	2024-03-19 12:54:20 +01:00
runbot_merge_project.xml	[ADD] runbot_merge: support staging ready PRs over splits	2024-05-23 07:58:58 +02:00
templates.xml	[ADD] runbot_merge: display required statuses after merge	2024-05-30 15:28:25 +02:00