What's name for the gitlab thing that checks post-push and sends yes/no mail?

[James Browning]

On Mon, Dec 9, 2019, 11:35 AM Hal Murray via devel <devel at ntpsec.org> wrote:

>
> I haven't seen that mail recently.
>

I do not know. Quick bit of googling found
https://docs.gitlab.com/ee/user/project/integrations/emails_on_push.html
which might be related.

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ntpsec.org/pipermail/devel/attachments/20191209/c85a6ee2/attachment.htm>