[Dune-devel] Gitlab reply-by-mail broken?

[Stephan Hilb]

Hello,

I used email the other day to reply to an issue comment on the dune gitlab
instance, but it got ignored.
Since it usually works on gitlab instances, is it maybe disabled or configured
the wrong way? The mail was sent to the address in the Reply-To header of the
gitlab notification:

  To: Core Modules / dune-common <gitlab-reply+xxxxx at dune-project.org>

Thanks,

Stephan Hilb