<div dir="auto"><div><div class="gmail_quote"><div dir="ltr">On Mon, 2 Jul 2018, 19:06 Volker Krause, <<a href="mailto:vkrause@kde.org">vkrause@kde.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Sunday, 1 July 2018 20:49:06 CEST Ben Cooksley wrote:<br>
> On Sun, Jul 1, 2018 at 9:31 PM, Volker Krause <<a href="mailto:vkrause@kde.org" target="_blank" rel="noreferrer">vkrause@kde.org</a>> wrote:<br>
> > Rather than letting things escalate for two weeks to this point for what<br>
> > is<br>
> > essentially a simple one-line change, we probably all should review the<br>
> > notification/monitoring workflow. I suspect the main problem was that<br>
> > neither the people who broke this nor those who could quickly fix it<br>
> > simply weren't aware of the breakage?<br>
> <br>
> I'm not sure whether email notifications to the mailing list are<br>
> suitable to resolve this, but i've now set those up for PIM.<br>
<br>
Thanks! Email notifications for build failures at least help me notice this <br>
faster.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Awesome. I see Kleopatra has already benefited from this which is good to see.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Pre-integration CI validation as you are working on should also help a lot <br>
with this I think, in particular for the "exotic" platforms (ie. this specific <br>
case would have been caught, the change was long enough in review for that).<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Indeed. Pre-Review CI is definitely the long term fix here, as long as everything goes through review :)</div><div dir="auto"><br></div><div dir="auto">It'll probably be a couple of weeks before we can roll that out to a large number of projects, but thanks to bshah it is definitely underway.</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Regards,<br>
Volker</blockquote></div></div><div dir="auto"><br></div><div dir="auto">Cheers,</div><div dir="auto">Ben</div><div dir="auto"></div></div>