Skip to content
2 changes: 2 additions & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
Expand Up @@ -700,6 +700,8 @@ peps/pep-0819.rst @emmatyping
peps/pep-0820.rst @encukou
peps/pep-0821.rst @JelleZijlstra
peps/pep-0822.rst @methane
# ...

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Why the # ... ? If it's to fend off a merge conflict with the PR for PEP 823, I think there's a better way to do that (just fix the second PR after the first one has landed).

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

This was added in 68d6ded. I believe # ... is used in the CODEOWNERS file to show a missing PEP number. It's used a few times throughout the file.

Tbh I don't think it really matters. Resolving the inevitable merge conflict will get rid of it.

peps/pep-0824.rst @gvanrossum
peps/pep-0825.rst @warsaw @dstufft
peps/pep-0826.rst @savannahostrowski
peps/pep-0827.rst @1st1
Expand Down
Loading
Loading