Skip to content

Conversation

@foolip
Copy link
Collaborator

@foolip foolip commented May 16, 2024

No description provided.

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label May 16, 2024
@Elchi3
Copy link
Collaborator

Elchi3 commented May 28, 2024

hm, the dist files are checked in and I guess you need to re-run generating them for this PR to pass?
Are we planning to have dist files part of the build only at some point?

@foolip
Copy link
Collaborator Author

foolip commented May 28, 2024

hm, the dist files are checked in and I guess you need to re-run generating them for this PR to pass? Are we planning to have dist files part of the build only at some point?

I sent a lot of PRs touching the same features knowing that some would need rebasing or fixing up, and this is one of those.

The dist files has some stuff that's very useful to review, but I think we could consider trimming them down to only the generated information so that changing names, descriptions, groups, etc., doesn't change the dist files.

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.

Okay, thanks! 👍

@Elchi3 Elchi3 merged commit 909d8ad into web-platform-dx:main May 29, 2024
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.

2 participants