Infra: Include PEP number in API (#2879)

Fixes https://github.com/python/peps/issues/2878
2022-11-10 08:49:09 +02:00 · 2022-11-10 08:49:09 +02:00 · 5731720068
parent 11669a5772
commit 5731720068
1 changed files with 2 additions and 1 deletions
--- a/pep_sphinx_extensions/pep_zero_generator/parser.py
+++ b/pep_sphinx_extensions/pep_zero_generator/parser.py
@ -148,9 +148,10 @@ class PEP:
        }

    @property
-    def full_details(self) -> dict[str, str]:
+    def full_details(self) -> dict[str, str | int]:
        """Returns all headers of the PEP as a dict."""
        return {
+            "number": self.number,
            "title": self.title,
            "authors": ", ".join(author.nick for author in self.authors),
            "discussions_to": self.discussions_to,