Filtering GitLab mentions

Ben Gamari ben at
Tue Sep 24 17:02:30 UTC 2019

Hi everyone,

During a discussion on procedural matters earlier today it was (yet
again) noted that GitLab notification emails are quite chatty and
consequently it is easy to lose the signal in the noise.

However, during this discussion we also realized that much of the issue
can be mitigated with a simple email filter to identify explicit
@-mentions. I find that: and @bgamari and header:X-GitLab-Discussion-Id

isolates emails arising from @-mentions fairly effetively.

If your MUA doesn't support filtering by arbitrary headers you can
replace the "header" predicate with simply a mention of the word

If you are active on GitLab I would encourage you to setup such a
filter; I was surprised by how many comments I had overlooked.


- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list