w3c / geolocation

W3C Geolocation API
https://www.w3.org/TR/geolocation/
81 stars 56 forks source link

chore: put in updatable rec infra #149

Closed marcoscaceres closed 3 months ago

marcoscaceres commented 3 months ago

Closes #148

Ok, so we are going to show Corrections and Additions like this:

Screenshot 2024-04-11 at 1 27 38 PM

All we need to do is make sure we label the each new commit correctly.


Preview | Diff

marcoscaceres commented 3 months ago

(@reillyeon, sorry if you got the annoying empty commit thing again... I had to rebase)

reillyeon commented 3 months ago

I assume the publishing infrastructure will slap "Proposed Edited Recommendation" on it?

marcoscaceres commented 3 months ago

Indeed, that’s handled by https://github.com/w3c/geolocation-api/blob/79cc49a0e2374d192f3e7c560c0d5af2d3d3e77c/.github/workflows/auto-publish.yml#L25