search

w3c / push-api

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

chore(.travis): set up validation #307

Closed marcoscaceres closed 5 years ago

marcoscaceres commented 5 years ago

Preview | Diff

marcoscaceres commented 5 years ago

@beverloo, I've refactored the spec to use new ReSpec stuff, fixed the ReSpec warnings, and fixup some terminology. This will allow us to move the spec back onto auto-publishing, and we get assurances that the links don't each time we republish.

marcoscaceres commented 5 years ago

Need to check what's going on with that NIST PDF that's not linking... same with the secure context link :/

martinthomson commented 5 years ago

Renaming the tidy config breaks the makefile. Also, https://ev.buaa.edu.cn/ seems like an odd thing to need to be requested.

marcoscaceres commented 5 years ago

Will revert the file name.

Also, https://ev.buaa.edu.cn/

That’s from the w3c copyright. Unfortunately, that NIST PDF means I need to use GET.

marcoscaceres commented 5 years ago

Sorry for all the noise on this. Travis is finally happy and cross references are now all good 🥳

marcoscaceres commented 5 years ago

Moving forward with this as issues were addressed... it's blocking me from finishing some set up of the new working group.

Happy to continue helping with editorial tasks going forward. Just let me know :)