<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Dec 9, 2019, 11:35 AM Hal Murray via devel <<a href="mailto:devel@ntpsec.org">devel@ntpsec.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I haven't seen that mail recently.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">I do not know. Quick bit of googling foundĀ <a href="https://docs.gitlab.com/ee/user/project/integrations/emails_on_push.html">https://docs.gitlab.com/ee/user/project/integrations/emails_on_push.html</a> which might be related.</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>