Skip to content

/ peps

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

Jump to bottom

PEP 544: Make Guido the BDFL-Delegate (Protocols) #799

Merged
merged 2 commits into from Oct 6, 2018
Merged

PEP 544: Make Guido the BDFL-Delegate (Protocols) #799

merged 2 commits into from Oct 6, 2018

Conversation

@gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Oct 6, 2018

See recent thread "PEP 544 status (forked off "Petr Viktorin as BDFL-Delegate for PEP 580")" in python-dev.
@gvanrossum
Make Guido the BDFL-Delegate for PEP 544 (Protocols)
Loading status checks…
c31f34b
@gvanrossum
Fix lint
Loading status checks…
f8a5bfd
@ilevkivskyi
ilevkivskyi approved these changes Oct 6, 2018
View changes
@Rosuav
Copy link
Contributor

@Rosuav Rosuav commented Oct 6, 2018

LGTM. Merging per discussion.
@Rosuav Rosuav merged commit 74d7ab4 into master Oct 6, 2018
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
@gvanrossum gvanrossum deleted the pep-544-bdfl-delegate branch Oct 6, 2018
@rhettinger rhettinger assigned rhettinger and unassigned rhettinger Oct 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ilevkivskyi ilevkivskyi

Assignees
No one assigned
Labels
CLA signed
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
@gvanrossum @Rosuav @ilevkivskyi @rhettinger @the-knights-who-say-ni