[cdce8p]

Please check if the license header is correct and acceptable before approving the PR.
https://github.com/python/cpython/blob/v3.15.0/Doc/tools/extensions/lexers/asdl_lexer.py

Closes #5214

[read-the-docs-community]

Documentation build overview

📚 pep-previews | 🛠️ Build #35656681 | 📁 Comparing be61991 against latest (16991a9)

  🔍 Preview build  

2 files changed

± pep-0823/index.html
± pep-0847/index.html

[gvanrossum]

I'm okay with the code. But I think it's up to @hugovk to merge this.

[hugovk]

Should https://github.com/python/peps/blob/main/pep_sphinx_extensions/LICENCE.rst mention the licence of this file?

Longer term, perhaps this or similar could be upstreamed to https://github.com/pygments/pygments, then both CPython and PEPs could use that directly. What do you think?

[cdce8p]

Should https://github.com/python/peps/blob/main/pep_sphinx_extensions/LICENCE.rst mention the licence of this file?

Added something. Let me know if that's what you had in mind.

Longer term, perhaps this or similar could be upstreamed to https://github.com/pygments/pygments, then both CPython and PEPs could use that directly. What do you think?

That could make sense though I don't know if it's popular enough to warrant inclusion upstream if it's just used for cpython and the PEPs repo.