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

Fix publication #11

Merged
merged 1 commit into from
May 28, 2024
Merged

Fix publication #11

merged 1 commit into from
May 28, 2024

Conversation

frivoal
Copy link
Collaborator

@frivoal frivoal commented May 23, 2024

For the ED that doesn't matter, but for the WD, the prefix in the name causes issues with pubrules.

Also remove unnecessary metadata.

Don't merge until speced/bikeshed#2862 has been merged (or speced/bikeshed#2864 solved)

For the ED that doesn't matter, but for the WD, the prefix in the name
causes issues with pubrules.

Also remove unnecessary metadata
@frivoal frivoal added the Type: Production The issue is not about the specification's content, but about the way it is produced or published. label May 23, 2024
@frivoal frivoal mentioned this pull request May 23, 2024
@frivoal frivoal added the Tests: Unneeded This closed issue does not need tests. label May 23, 2024
@frivoal frivoal self-assigned this May 23, 2024
@frivoal frivoal merged commit 0916b33 into w3c:main May 28, 2024
1 of 3 checks passed
@frivoal frivoal deleted the fix-pub branch May 28, 2024 23:44
@frivoal frivoal added Closed: Addressed The issue has been addressed, though not necessarily based on the initial suggestion Decision by: Editor's jugement Issue closed by the Editor judging that there was sufficient agreement / no need for agreement labels May 28, 2024
github-actions bot added a commit that referenced this pull request May 28, 2024
SHA: 0916b33
Reason: push, by frivoal

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Closed: Addressed The issue has been addressed, though not necessarily based on the initial suggestion Decision by: Editor's jugement Issue closed by the Editor judging that there was sufficient agreement / no need for agreement Tests: Unneeded This closed issue does not need tests. Type: Production The issue is not about the specification's content, but about the way it is produced or published.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant