Add filter Option to GitLab Mails
Problem to solve
Mails von gitlab.opensourceecology.de überschwemmen das Postfach (manche sind aber notwendig), sie lassen sich nicht sinnvoll filtern. noreply@opensourceecology.de ist an vielen Stellen verwendet und kann daher nicht als Filter genommen werden.
Intended users
Jeder mit Gitlab notifications
Proposal
ein einfaches [GitLab] als Prefix würde schon helfen vor diesen Mails (zwischen Issues und anderen Events auf GitLab müssen wir nicht unterscheiden und zu den GitLab.com Issues lässt es sich leicht durch die Domain trennen).
Kann alternative auch gelöst werden indem eine gitlab@opensourceecology.de Adresse die noreply Adresse ersetzt.
Further details
Documentation
