chore: rename pr-push.yml to auto-publish.yml - Githubissues

w3c / proximity

Proximity

https://www.w3.org/TR/proximity/

Other

13 stars 13 forks source link

chore: rename pr-push.yml to auto-publish.yml #49

Closed marcoscaceres closed 3 years ago

anssiko commented 3 years ago

(I noticed @xfq was actioned to review, hopefully merge was OK.)