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

replacing aria-contributors across specs #103

Closed
10 of 11 tasks
pkra opened this issue Oct 17, 2023 · 6 comments · Fixed by #107
Closed
10 of 11 tasks

replacing aria-contributors across specs #103

pkra opened this issue Oct 17, 2023 · 6 comments · Fixed by #107
Assignees
@pkra
Labels
Agenda-Editors

Comments

@pkra
Copy link
Member

pkra commented Oct 17, 2023 •
edited
Loading

Extracted from #61, see also https://www.w3.org/2023/10/16-aria-editors-minutes.html#t08.

Following w3c/aria#1993, we want to make similar changes across the specs.

This issue will track the PRs in the other specs.

Final step
@pkra pkra self-assigned this Oct 17, 2023
@pkra
Copy link
Member Author

pkra commented Nov 10, 2023

Looks like html-aam did this a while back w3c/html-aam#261

pkra added a commit to w3c/core-aam that referenced this issue Nov 10, 2023
@pkra
editorial: adjust contributors section
2d2d8df 
Drops the previously active section and adds a new GH contributors section, matching other ARIA specs.

See w3c/aria-common#103 for more background.
@pkra pkra mentioned this issue Nov 10, 2023
Merged
pkra added a commit to w3c/dpub-aam that referenced this issue Nov 10, 2023
@pkra
editorial: github contributors section
3ed929b 
Adds a new GH contributors section, matching other ARIA specs.

See w3c/aria-common#103 for more background.
@pkra pkra mentioned this issue Nov 10, 2023
Closed
pkra added a commit to w3c/dpub-aria that referenced this issue Nov 10, 2023
@pkra
editorial: github contributors section
b78919e 
Adds a new GH contributors section, matching other ARIA specs.

See w3c/aria-common#103 for more background.
@pkra pkra mentioned this issue Nov 10, 2023
Closed
@pkra
Copy link
Member Author

pkra commented Nov 10, 2023

I want to wait with svg-aam and graphics-aria until the prettier PRs are merged.

@pkra
Copy link
Member Author

pkra commented Nov 27, 2023

From today's meeting: look into filtering, e.g., by date, so that we don't add anyone ever.

@pkra
Copy link
Member Author

pkra commented Dec 11, 2023

From today's editors' call: we should prioritize removal of the old HTML include over the addition of the github-generated contributors.

pkra added a commit to w3c/mathml-aam that referenced this issue Dec 11, 2023
@pkra
editorial: remove contributors include
87795e7 
Cf. w3c/aria-common#103
@pkra pkra mentioned this issue Dec 11, 2023
Merged
pkra added a commit to w3c/accname that referenced this issue Dec 11, 2023
@pkra
editorial: remove contributors include
b649702 
Cf. w3c/aria-common#103
@pkra pkra mentioned this issue Dec 11, 2023
Merged
@pkra
Copy link
Member Author

pkra commented Dec 11, 2023

I've closed the DPUB PRs.

I've opened PRs with the specs that use the include and asked for reviews.

spectranaut pushed a commit to w3c/core-aam that referenced this issue Dec 11, 2023
@pkra
editorial: adjust contributors section (#211)
2e6be21 
Drops the previously active section and adds a new GH contributors section, matching other ARIA specs.

See w3c/aria-common#103 for more background.
@pkra
Copy link
Member Author

pkra commented Dec 13, 2023

The PRs are all set. Final step is to remove the actual file.

pkra added a commit that referenced this issue Dec 13, 2023
@pkra
fix: remove (now retired) aria-contributors.html
61a5359 
Closes #103
@pkra pkra mentioned this issue Dec 13, 2023
Merged
@pkra pkra closed this as completed in #107 Dec 13, 2023
pkra added a commit that referenced this issue Dec 13, 2023
@pkra
fix: remove (now retired) aria-contributors.html (#107)
1757c0e 
Closes #103
@spectranaut spectranaut mentioned this issue Jan 18, 2024
Closed
11 tasks
pkra added a commit to w3c/aria that referenced this issue May 20, 2024
@pkra
editorial: adjust contributors section (#211)
845dec4 
Drops the previously active section and adds a new GH contributors section, matching other ARIA specs.

See w3c/aria-common#103 for more background.
pkra added a commit to w3c/aria that referenced this issue May 21, 2024
@pkra
editorial: remove contributors include
51e7181 
Cf. w3c/aria-common#103
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pkra pkra

Labels
Agenda-Editors
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: remove (now retired) aria-contributors.html w3c/aria-common
1 participant
@pkra