Xavier Morel 64eeb6142e [FIX] runbot_merge: also show banners on PR pages ... It's likely that the PR pages are seen more commonly than the dashboard by most users, so add alerts there in case users wonder what's happening. Fixes #580		2022-08-05 15:35:51 +02:00
..
configuration.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
mergebot.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
queues.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
res_partner.xml	[FIX] runbot_merge: miswritten view file	2021-11-10 08:11:09 +01:00
runbot_merge_project.xml	[ADD] runbot_merge: ~~tree~~ freeze wizard	2021-11-17 10:40:12 +01:00
templates.xml	[FIX] runbot_merge: also show banners on PR pages	2022-08-05 15:35:51 +02:00