Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Drop Worklets spec #179

Merged
merged 1 commit into from
Oct 26, 2020
Merged

Drop Worklets spec #179

merged 1 commit into from
Oct 26, 2020

Conversation

foolip
Copy link
Member

@foolip foolip commented Oct 22, 2020

https://drafts.css-houdini.org/worklets/ now redirects to HTML,
into which it's been integrated.

https://drafts.css-houdini.org/worklets/ now redirects to HTML,
into which it's been integrated.
@foolip foolip requested a review from tidoust October 22, 2020 22:35
@foolip
Copy link
Member Author

foolip commented Oct 22, 2020

@tidoust I'll also need to manually remove the scraped data from webref, right?

@tidoust tidoust requested review from dontcallmedom and removed request for tidoust October 26, 2020 08:24
@tidoust
Copy link
Member

tidoust commented Oct 26, 2020

I do see that the migration took place but don't see an internal ack for it, which I'm surprised about. Adding @dontcallmedom who has been following such migrations more closely.

@dontcallmedom
Copy link
Member

I think this should be merged (since the editors draft does redirect to HTML LS); I've followed up internally to make sure all the t get crossed.

@tidoust tidoust merged commit fe8167a into master Oct 26, 2020
@tidoust
Copy link
Member

tidoust commented Oct 26, 2020

@tidoust I'll also need to manually remove the scraped data from webref, right?

Yes. I note that there are a few other specs to delete manually there following recent changes to browser-specs. I'll take care of that when I have a minute, feel free to beat me to it :)

tidoust added a commit to w3c/webref that referenced this pull request Nov 4, 2020
Several specifications have been removed from browser-specs, see:
w3c/browser-specs#174
w3c/browser-specs#179
w3c/browser-specs#181

This update drops related extracts from webref.
@tidoust tidoust deleted the worklets branch July 1, 2021 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants