I have set up a couple of rules to catch and hold based on
"X-AutoResponse: AutoResponse" and "Auto-submitted: auto-generated". Not
sure of the latter is needed. We'll have to see if they work tomorrow.
...
ling
On 6/2/22 11:00 AM, Klaus Weidner via webkit-dev wrote:
Short version, you may want to set up a local mail filter to hide
messages from this list with that subject.
Unfortunately the interactions between mailing lists and
autoresponders aren't very well standardized. The list messages have a
List-Id: header which the user agent should use as an indication not
to send an autoresponse, but that's apparently being ignored in this
case. On the flip side, a proper vacation autoresponse should set a
header which the mailing list software should use to discard it, but
that also doesn't necessarily happen.
https://datatracker.ietf.org/doc/html/rfc3834 defines the
Auto-Submitted: field, there's obsolescent versions such as
Precedence: bulk, and many more variants such as these:
https://www.arp242.net/autoreply.html. As far as I can tell the
mailing list doesn't use any of them, but it's unclear if it would
help since mail clients aren't necessarily going to respect them.
On Thu, Jun 2, 2022 at 10:20 AM Alemar via webkit-dev
<webkit-dev@lists.webkit.org> wrote:
These out of office messages are getting out of hand. Is there
anything we can do?
El jue, 2 jun 2022 a las 10:43, 안광림 via webkit-dev
(<webkit-dev@lists.webkit.org>) escribió:
Period : 2022/05/23 00:00 ~ 2022/07/15 00:00 [Korea Standard Time]
부재중입니다.
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev