search

w3c / github-notify-ml-config

Configuration for mailing lists using github-notify-ml
8 stars 27 forks source link

Add new DAS WG repos #248

Closed anssiko closed 1 year ago

anssiko commented 1 year ago

@himorin this PR is to be merged when https://wicg.github.io/compute-pressure/ is migrated to https://w3c.github.io/compute-pressure/ as tracked in https://github.com/w3c/devicesensors-wg/pull/62

anssiko commented 1 year ago

FWIW, the CI failure seems unrelated to this change:

  × python setup.py egg_info did not run successfully.
  │ exit code: 1
  ╰─> [1 lines of output]
      error in demjson setup command: use_2to3 is invalid.
      [end of output]
anssiko commented 1 year ago

@himorin can you check this PR and merge if things look good, thanks!

anssiko commented 1 year ago

@himorin thanks for debugging the CI failure in https://github.com/w3c/github-notify-ml-config/pull/249!

Feel free to merge this PR. I don’t have write access to this repo.

anssiko commented 1 year ago

Thanks @dontcallmedom! Speaking as a WG chair, this tool is great for WGs with multiple deliverables as it creates a chronological issue and PR summary across the WG’s repos. As a bonus, all this is archived, decoupled from github.com and searchable with MUA.

anssiko commented 1 year ago

@himorin can you update the digest sent to public-device-apis@w3.org accordingly?