search

w3c / devicesensors-wg

Devices and Sensors Working Group website
https://www.w3.org/das/
3 stars 5 forks source link

Add Compute Pressure and Contact Picker API to Repository Manager #64

Closed anssiko closed 1 year ago

anssiko commented 1 year ago

The following error appears for PRs submitted by WG participants:

The repository manager doesn't know the following repository: w3c/compute-pressure

Example: https://github.com/w3c/compute-pressure/pull/171 and https://labs.w3.org/repo-manager/pr/id/w3c/compute-pressure/171

My expectation is the same error would appear for PRs for the w3c/contact-picker repo too, so that should also be added to the repo manager and configured as a joint deliverable between the DAS WG and WebApps WG to allow participants from both the WGs submit PRs.

anssiko commented 1 year ago

@himorin @vivienlacourba another what I suspect is a related error in https://labs.w3.org/repo-manager/pr/id/w3c/compute-pressure/172:

PR not found: w3c/compute-pressure/pulls/172

To reproduce, go to https://labs.w3.org/repo-manager/pr/id/w3c/compute-pressure/172 and click "Revalidate" or "Mark as non-substantive".

vivienlacourba commented 1 year ago

@himorin @vivienlacourba another what I suspect is a related error in https://labs.w3.org/repo-manager/pr/id/w3c/compute-pressure/172:

PR not found: w3c/compute-pressure/pulls/172

To reproduce, go to https://labs.w3.org/repo-manager/pr/id/w3c/compute-pressure/172 and click "Revalidate" or "Mark as non-substantive".

This was fixed with @deniak's help.

anssiko commented 1 year ago

Thanks @himorin @vivienlacourba @deniak for your support and swift fix to this issue!