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

Update references to Alyssa Coghlan #3475

Merged
merged 1 commit into from
Oct 11, 2023

Conversation

ncoghlan
Copy link
Contributor

@ncoghlan ncoghlan commented Oct 11, 2023

  • For most cases (including all PEP metadata), replace birth name with chosen name
  • Birth name has been retained in parentheses when this makes other references substantially clearer (e.g. references to mailing list posts, elected members of the inaugural Steering Council)

📚 Documentation preview 📚: https://pep-previews--3475.org.readthedocs.build/

* For most cases (including all PEP metadata), replace birth name with chosen name
* Birth name has been retained in parentheses when this makes other references
  substantially clearer (e.g. references to mailing list posts, elected members
  of the inaugural Steering Council)
@ncoghlan
Copy link
Contributor Author

Apologies for the review request spam - CODEOWNERS added the (many) requests automatically, since I've been involved in a lot of PEPs over time.

I've cut the review request list back to requesting that @ambv give the changes a once-over.

@ambv
Copy link
Contributor

ambv commented Oct 11, 2023

Looking 🧐

@ambv
Copy link
Contributor

ambv commented Oct 11, 2023

Passes pre-commit and builds cleanly, landing.

@ambv ambv merged commit 6f1da20 into python:main Oct 11, 2023
@ncoghlan
Copy link
Contributor Author

Thanks!

@vstinner
Copy link
Member

Woooow, so many PEPs, you have been very productive :-)

@ncoghlan
Copy link
Contributor Author

Yeah, I submitted python/devguide#1185 directly via the GitHub online editor, but went "Umm, I'm gonna switch to my actual dev machine to do this one" after searching for my name in the PEPs repo :)

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