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
..
crons.xml	[ADD] forwardport: automatic branch deleter	2019-10-17 11:55:20 +02:00
queues.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
security.xml	[IMP] runbot_merge, forwardport: unify tagging	2020-03-16 10:53:19 +01:00
views.xml	[FIX] runbot_merge: also show banners on PR pages	2022-08-05 15:35:51 +02:00