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.

Sign up for GitHub

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

Jump to bottom

update auto-tr script #5

Merged
merged 1 commit into from
May 22, 2024
Merged

update auto-tr script #5

merged 1 commit into from
May 22, 2024

Conversation

siusin
Copy link
Contributor

@siusin siusin commented May 22, 2024

add more details of the TR publications

@siusin siusin merged commit 40b1484 into w3c:main May 22, 2024
2 of 3 checks passed
github-actions bot added a commit that referenced this pull request May 22, 2024
@siusin @github-actions
Merge pull request #5 from siusin/auto-TR
0ba117a 
SHA: 40b1484
Reason: push, by siusin

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@frivoal frivoal mentioned this pull request May 22, 2024
Merged
@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
Copy link
Collaborator

frivoal commented May 23, 2024

Adding group is unnecessary, as that's already in the Overview.bs file. The other changes would be helpful, but doesn't work yet: see #11

@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 Tests: Unneeded This closed issue does not need tests. labels May 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@siusin @frivoal