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

Change Michiel → Zoë #1004

Merged
merged 1 commit into from
Mar 19, 2019
Merged

Change Michiel → Zoë #1004

merged 1 commit into from
Mar 19, 2019

Conversation

ZoeBijl
Copy link
Contributor

@ZoeBijl ZoeBijl commented Mar 19, 2019

Following my recent name change: change Michiel to Zoë in the editor section.

@jnurthen
Copy link
Member

@ZoeBijl You probably also want to do a PR against aria-common in the file acknowledgements/aria-wg-active.html

@ZoeBijl
Copy link
Contributor Author

ZoeBijl commented Mar 19, 2019

@ZoeBijl You probably also want to do a PR against aria-common in the file acknowledgements/aria-wg-active.html

Want me to add that to this PR? There are three other mentions, the acknowledgements and the DeletedSectionsArchive.

@jnurthen
Copy link
Member

@ZoeBijl You probably also want to do a PR against aria-common in the file acknowledgements/aria-wg-active.html

Want me to add that to this PR? There are three other mentions, the acknowledgements and the DeletedSectionsArchive.

acknowledgements needs to be done in the aria-common repository - that section is maintained there and some @michael-n-cooper magic copies into each of the aria repositories so changing here would have no effect.

For DeletedSectionsArchive that is up to you. I don't think there is any way to change already published material (like previous spec versions) and I see this as being a little like those but I certainly wouldn't object to any change if you want to make it.

@ZoeBijl
Copy link
Contributor Author

ZoeBijl commented Mar 19, 2019

@jnurthen can you merge this? I don’t have the rights.

@jnurthen jnurthen merged commit 5821614 into master Mar 19, 2019
@jnurthen
Copy link
Member

Merged - @mcking65 I tried to cherry-pick this into apg-1.2 but it appears I don't have the rights to do that. Can you please ensure this gets merged into the 1.2 release too.

michael-n-cooper pushed a commit that referenced this pull request Mar 20, 2019
Merge pull request #1004 from w3c/feature/name-change

Change Michiel → Zoë
@michael-n-cooper
Copy link
Member

I updated aria-common w3c/aria-common@9651e17

@ZoeBijl
Copy link
Contributor Author

ZoeBijl commented Mar 20, 2019

Thank you very much @jnurthen and @michael-n-cooper 💯

@zcorpan zcorpan deleted the feature/name-change branch May 31, 2021 12:20
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