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

Auto-publish the Design Principles. #549

Merged
merged 2 commits into from
Feb 25, 2025
Merged

Conversation

jyasskin
Copy link
Contributor

@jyasskin jyasskin commented Jan 14, 2025

This should go in after


Preview | Diff

@jyasskin jyasskin requested review from torgo and ylafon January 14, 2025 00:36
@jyasskin jyasskin added this to the 2025-02-10-week milestone Feb 6, 2025
Comment on lines +17 to +20
The editors will merge PRs after they have TAG consensus and will attempt to document that consensus
by linking to the meeting minutes. If you notice a change that seems to have been merged without
consensus, please comment on its PR or file an issue, and we'll either quickly find better evidence
or back out the change until we can discuss it more fully.
Copy link
Contributor Author

Choose a reason for hiding this comment

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

@martinthomson How's this look?

@jyasskin
Copy link
Contributor Author

We discussed this in https://github.com/w3ctag/meetings/blob/gh-pages/2025/02-17-minutes.md#plenary-session---2025-02-20-1 with consensus in that room, and confirmed consensus over Slack. So I'm merging this and will iterate on any Echidna failures in subsequent changes.

@jyasskin jyasskin merged commit 35a531b into w3ctag:main Feb 25, 2025
1 check passed
@jyasskin jyasskin deleted the auto-publish branch February 25, 2025 22:33
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