python / peps

Python Enhancement Proposals
https://peps.python.org
4.35k stars 1.5k forks source link

Figure out why CODEOWNERS is not working #1920

Closed brettcannon closed 3 years ago

brettcannon commented 3 years ago

E.g. https://github.com/python/peps/pull/1918 should have been assigned to Mark. And every PR should be assigned to someone thanks to our wildcard.

Probably need to bisect the file by commenting out lines to see if there's some specific section that isn't working (e.g. a bad username is breaking the whole file).

JelleZijlstra commented 3 years ago

There might be a few issues:

JelleZijlstra commented 3 years ago

I believe #1925 fixes it.

I'm worried about this breaking again silently in the future. If we ever remove a directory mentioned in CODEOWNERS, or (I believe) if anyone mentioned there leaves the python org, the file will silently stop working. It might be worth adding the GitHub action from the validator tool linked above to make sure the file remains valid. It would be good if GitHub provided some feedback directly if the file is invalid.