Filtering GitLab mentions

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Filtering GitLab mentions

Ben Gamari-3
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

ghc-devs mailing list
[hidden email]

signature.asc (497 bytes) Download Attachment