Re: [webkit-dev] 안광림 is out of office.
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 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 () 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
Re: [webkit-dev] 안광림 is out of office.
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
Re: [webkit-dev] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
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] 안광림 is out of office.
Period : 2021/01/18 00:00 ~ 2021/02/01 00:00 [Korea Standard Time] 부재중입니다. ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
[webkit-dev] 안광림 is out of office.
Period : 2021/01/18 00:00 ~ 2021/02/01 00:00 [Korea Standard Time] 부재중입니다. ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
[webkit-dev] 안광림 is out of office.
Period : 2021/01/18 00:00 ~ 2021/02/01 00:00 [Korea Standard Time] 부재중입니다. ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
[webkit-dev] 안광림 is out of office.
Period : 2021/01/18 00:00 ~ 2021/02/01 00:00 [Korea Standard Time] 부재중입니다. ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
[webkit-dev] 안광림 is out of office.
Period : 2021/01/18 00:00 ~ 2021/02/01 00:00 [Korea Standard Time] 부재중입니다. ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
