Re: [RFE] Migration to gitlab

[Eli Zaretskii]

> From: Michael Albinus <address@hidden>
> Cc: Stefan Monnier <address@hidden>,  address@hidden
> Date: Fri, 22 Mar 2019 17:23:42 +0100
> 
> > That sounds like filtering would be a better solution than separation
> > into two mailing lists.  Doesn't debbugs inject some header into
> > messages with a patch?  If not, perhaps it should.
> 
> Don't know. But we have the "patch" tag in debbugs, which should be set
> automatically, when a message arrives sent from git-patch. IIRC, this
> tag must be set manually today.

What can we do to cause it to be set automatically?  Submit a debbugs
feature request?