1 Commits

Author	SHA1	Message	Date
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