search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Enable auto publishing of Push API drafts #241

Closed beverloo closed 7 years ago

beverloo commented 7 years ago

Yves, could you please help us set up auto publishing of Push API WDs based on GitHub activity?

ylafon commented 7 years ago

https://www.w3.org/TR/2017/WD-push-api-20170222/ was successfully auto-published.