Skip to content

Conversation

@diekus
Copy link
Contributor

@diekus diekus commented Oct 14, 2025

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Oct 14, 2025
Copy link
Contributor

@captainbrosset captainbrosset left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A couple of suggestions for the name and description.

diekus and others added 2 commits October 14, 2025 15:22
Co-authored-by: Patrick Brosset <[email protected]>
Co-authored-by: Patrick Brosset <[email protected]>
@diekus
Copy link
Contributor Author

diekus commented Oct 17, 2025

I've changed the ID of the feature, renamed the files, the description is now clearer and regenerated the dist.yml file.

cc @captainbrosset

@diekus diekus requested a review from ddbeck October 21, 2025 14:10
@captainbrosset
Copy link
Contributor

@foolip @ddbeck I've approved this after changing the spec URL. Any more comments from your end before we merge?

Copy link
Collaborator

@ddbeck ddbeck left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One suggestion for the spec URL (the PR merged). This also needs to be formatted to pass the linter, npm run format and a commit should fix it.

@ddbeck ddbeck enabled auto-merge (squash) November 3, 2025 16:16
@ddbeck ddbeck merged commit 0f7601c into web-platform-dx:main Nov 3, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature definition Creating or defining new features or groups of features.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants