Re: Separate notifications from list messages?

[Liviu Ionescu]

> On 10 Jul 2020, at 11:09, Peter Maydell <peter.maydell@linaro.org> wrote:
> 
> What sort of notifications are we talking about here ?

For example:

...
Received: from mg.gitlab.com (74.90.74.34.bc.googleusercontent.com
 [34.74.90.74]) by smtp-out-n18.prod.us-west-2.postgun.com with SMTP id
 5f074fb9a33b1a3dd4571072 (version=TLS1.3, cipher=TLS_AES_128_GCM_SHA256);
 Thu, 09 Jul 2020 17:11:21 GMT
Date: Thu, 09 Jul 2020 17:11:20 +0000
Message-ID: 
<5f074fb827f26_7cd93fa34d371dbc1570d@sidekiq-catchall-02-sv-gprd.mail>
Subject: QEMU | Pipeline #164899134 has failed for master | 3d7cad3c
Reply-to: GitLab <noreply@gitlab.com>, GitLab <gitlab@mg.gitlab.com>
From: GitLab via <qemu-devel@nongnu.org>
...

Regards,

Liviu