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

Remove redundant compat_features keys from features with comments #2345

Merged
merged 3 commits into from
Jan 21, 2025

Conversation

queengooborg
Copy link
Contributor

This PR removes the redundant compat_features keys from web features that have comments around them. This is an important manual step required to pave the way towards automated removal of compat_features keys.

Note: some wording in the comments was updated to maintain context without the presence of the compat_features value.

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Nov 26, 2024
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.

OK, this looks good. Some minor edits suggested here, but optional.

This PR has been open for some time, so the last step here is to merge main into this branch and refresh the dist.

Thank you, @queengooborg.

features/menu.yml Outdated Show resolved Hide resolved
features/source.yml Outdated Show resolved Hide resolved
@Elchi3
Copy link
Collaborator

Elchi3 commented Jan 20, 2025

This PR has been open for some time, so the last step here is to merge main into this branch and refresh the dist.

@queengooborg can you do that, please?

Copy link
Collaborator

@Elchi3 Elchi3 left a comment

Choose a reason for hiding this comment

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

I don't see a build failure, so I'm assuming the dists are fresh. Merging.

@Elchi3 Elchi3 merged commit 3d8b4ff into web-platform-dx:main Jan 21, 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.

3 participants