From 64eeb6142e79a795b980fde17671db9165ab2aa4 Mon Sep 17 00:00:00 2001 From: Xavier Morel Date: Thu, 30 Jun 2022 14:33:18 +0200 Subject: [PATCH] [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 --- forwardport/data/views.xml | 2 +- runbot_merge/changelog/2022-06/alerts.md | 1 + runbot_merge/changelog/2022-06/ui.md | 2 ++ runbot_merge/views/templates.xml | 41 +++++++++++++----------- 4 files changed, 27 insertions(+), 19 deletions(-) create mode 100644 runbot_merge/changelog/2022-06/alerts.md diff --git a/forwardport/data/views.xml b/forwardport/data/views.xml index 02919c0d..78499457 100644 --- a/forwardport/data/views.xml +++ b/forwardport/data/views.xml @@ -1,5 +1,5 @@ -