PEP 101: PRs to the release management PEP shouldn't ping Guido and Barry (#3086)

This commit is contained in:
Łukasz Langa 2023-04-03 16:52:47 +02:00 committed by GitHub
parent 4b3c9504ed
commit 70437b31d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
.github/CODEOWNERS vendored
View File

@ -49,7 +49,7 @@ pep-0020.txt @tim-one
pep-0042.txt @jeremyhylton pep-0042.txt @jeremyhylton
# ... # ...
pep-0100.txt @malemburg pep-0100.txt @malemburg
pep-0101.txt @warsaw @gvanrossum pep-0101.txt @Yhg1s @pablogsal @ambv @ned-deily
pep-0102.txt @warsaw @gvanrossum pep-0102.txt @warsaw @gvanrossum
# pep-0103.txt # pep-0103.txt
# ... # ...