w3c / uievents

UI Events
https://w3c.github.io/uievents/
Other
145 stars 51 forks source link

Auxiliary files in repo not being pushed to w3c.github.io #317

Open garykac opened 2 years ago

garykac commented 2 years ago

Recent changes that I made to:

are not being picked up and published on w3c.github.io. I assume this is related to recent work that @marcoscaceres did to automate publishing.

How can they be picked up and made available?

saschanaz commented 2 years ago

Also pinging @sidvishnoi who maintains spec-prod.

sidvishnoi commented 2 years ago

This feature isn't yet supported in spec-prod. See https://github.com/w3c/spec-prod/issues/39