[geolocation-api] Pull Request: chore(github/workflows/pr-push): autopub

marcoscaceres has just submitted a new pull request for https://github.com/w3c/geolocation-api:

== chore(github/workflows/pr-push): autopub ==
For when the document is up on TR, we can start auto-publishing. 

See https://github.com/w3c/geolocation-api/pull/79


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 26 May 2021 05:43:58 UTC