Skip to content

[PEP Providers] Acknowledgements - #98

Merged
mgorny merged 1 commit into
pep-providersfrom
pep-providers-acknowledgments
Oct 13, 2026
Merged

mgorny merged 1 commit into
pep-providersfrom
pep-providers-acknowledgments

Conversation

@DEKHTIARJonathan

Copy link
Copy Markdown
Member

Corrected:

  • Michael Sarahan
  • Philip Hyunsu Cho

Added:

  • Mike Fiedler

Copilot AI balanced review requested due to automatic review settings October 13, 2026 01:25

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

The acknowledgement updates are accurate and correctly ordered.

0 open findings

What changed in this PR

Corrects contributor names and adds a missing acknowledgement in PEP 9999.

Changes:

  • Corrects Michael Sarahan’s name.
  • Expands Philip Hyunsu Cho’s name.
  • Adds Mike Fiedler while preserving alphabetical order.
File Description
peps/​pep-9999.rst Updates the acknowledgements list.

🧠 Review effort: Balanced


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@mgorny mgorny left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@rgommers rgommers left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, looks good to merge

@mgorny
mgorny merged commit afbca1d into pep-providers Oct 13, 2026
8 checks passed
@mgorny
mgorny deleted the pep-providers-acknowledgments branch October 13, 2026 09:26
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.

5 participants