| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:fd2bcc18-a4e6-3ff4-1a98-c78a17ad5615 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | A276:3F8836:136D3C6:1A64625:6972A4A0 |
| html-safe-nonce | ace59ea1ba066a50b48e0db88dc4e553ba89be54bd9a1797256cbc91297425be |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBMjc2OjNGODgzNjoxMzZEM0M2OjFBNjQ2MjU6Njk3MkE0QTAiLCJ2aXNpdG9yX2lkIjoiMTUzMTY5MjAwOTMzMDQ4NDM4NSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 90e9cd8cd744a151ad11ca5080622e6f45a4e9d791147349cc6d9656a5fff305 |
| hovercard-subject-tag | pull_request:2309414574 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///voltron/pull_requests_fragments/pull_request_layout |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/python/peps/4247/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/5fdb1d319124ba8f725e6e44f1cf239f530f90935b5e9662f1d314a83a66a243/python/peps/pull/4247 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/5fdb1d319124ba8f725e6e44f1cf239f530f90935b5e9662f1d314a83a66a243/python/peps/pull/4247 |
| og:image:alt | Instead of using sphinx's built-in search which has some challenges in its implementation, as well as the integration with the customized builder and theme, use a different approach.
Pagefind w... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | miketheman |
| hostname | github.com |
| expected-hostname | github.com |
| None | ae357919e9cc5fb635a01c9a2cc530478d3ac85f55090215eb70e1beca3385ac |
| turbo-cache-control | no-preview |
| go-import | github.com/python/peps git https://github.com/python/peps.git |
| octolytics-dimension-user_id | 1525981 |
| octolytics-dimension-user_login | python |
| octolytics-dimension-repository_id | 13414105 |
| octolytics-dimension-repository_nwo | python/peps |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 13414105 |
| octolytics-dimension-repository_network_root_nwo | python/peps |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 625f1bd9f76a617a9c0729e2de91edb56b6ce42f |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://patch-diff.githubusercontent.com/python/peps/pull/4247#start-of-content |
|
| https://patch-diff.githubusercontent.com/ |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fpeps%2Fpull%2F4247 |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fpeps%2Fpull%2F4247 |
|
Sign up
| https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=python%2Fpeps |
| Reload | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| Reload | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| Reload | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
python
| https://patch-diff.githubusercontent.com/python |
| peps | https://patch-diff.githubusercontent.com/python/peps |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
Notifications
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fpeps |
|
Fork
1.7k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fpeps |
|
Star
4.8k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fpeps |
|
Code
| https://patch-diff.githubusercontent.com/python/peps |
|
Issues
22
| https://patch-diff.githubusercontent.com/python/peps/issues |
|
Pull requests
40
| https://patch-diff.githubusercontent.com/python/peps/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/python/peps/actions |
|
Security
0
| https://patch-diff.githubusercontent.com/python/peps/security |
|
Insights
| https://patch-diff.githubusercontent.com/python/peps/pulse |
|
Code
| https://patch-diff.githubusercontent.com/python/peps |
|
Issues
| https://patch-diff.githubusercontent.com/python/peps/issues |
|
Pull requests
| https://patch-diff.githubusercontent.com/python/peps/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/python/peps/actions |
|
Security
| https://patch-diff.githubusercontent.com/python/peps/security |
|
Insights
| https://patch-diff.githubusercontent.com/python/peps/pulse |
| Sign up for GitHub
| https://patch-diff.githubusercontent.com/signup?return_to=%2Fpython%2Fpeps%2Fissues%2Fnew%2Fchoose |
| terms of service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fpeps%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issue-comment-box |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| python:main | https://patch-diff.githubusercontent.com/python/peps/tree/main |
| miketheman:pagefind-search | https://patch-diff.githubusercontent.com/miketheman/python-peps/tree/pagefind-search |
|
feat: add pagefind search
| https://patch-diff.githubusercontent.com/python/peps/pull/4247#top |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| python:main | https://patch-diff.githubusercontent.com/python/peps/tree/main |
| miketheman:pagefind-search | https://patch-diff.githubusercontent.com/miketheman/python-peps/tree/pagefind-search |
|
Conversation
21
| https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
Commits
16
| https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits |
|
Checks
23
| https://patch-diff.githubusercontent.com/python/peps/pull/4247/checks |
|
Files changed
| https://patch-diff.githubusercontent.com/python/peps/pull/4247/files |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/python/peps/pull/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Jan 31, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issue-2823710938 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://pagefind.app/ | https://pagefind.app/ |
| https://pypi.org/project/pagefind/ | https://pypi.org/project/pagefind/ |
| #4083 | https://github.com/python/peps/issues/4083 |
| https://pep-previews--4247.org.readthedocs.build/ | https://pep-previews--4247.org.readthedocs.build/ |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| force-pushed | https://patch-diff.githubusercontent.com/python/peps/compare/ddc20a4986aeeb537a8d71d9b1549893c50f3940..3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512 |
| ddc20a4 | https://patch-diff.githubusercontent.com/python/peps/commit/ddc20a4986aeeb537a8d71d9b1549893c50f3940 |
| 3d3d32c | https://patch-diff.githubusercontent.com/python/peps/commit/3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512 |
|
Compare
| https://patch-diff.githubusercontent.com/python/peps/compare/ddc20a4986aeeb537a8d71d9b1549893c50f3940..3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512 |
| January 31, 2025 14:55 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-16141620059 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Jan 31, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-2627545345 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
|
Jan 31, 2025
| https://patch-diff.githubusercontent.com/python/peps/pull/4247#ref-issue-2616369510 |
|
Infra: Add search to the PEP index
#4083
| https://patch-diff.githubusercontent.com/python/peps/issues/4083 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Jan 31, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-2628455570 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/willingc |
| willingc | https://patch-diff.githubusercontent.com/willingc |
| Jan 31, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-2628554149 |
| @miketheman | https://github.com/miketheman |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Feb 1, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-2628853298 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| force-pushed | https://patch-diff.githubusercontent.com/python/peps/compare/3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512..6ff3ea92f35cc34e9660a835915417faa558a26b |
| 3d3d32c | https://patch-diff.githubusercontent.com/python/peps/commit/3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512 |
| 6ff3ea9 | https://patch-diff.githubusercontent.com/python/peps/commit/6ff3ea92f35cc34e9660a835915417faa558a26b |
|
Compare
| https://patch-diff.githubusercontent.com/python/peps/compare/3d3d32cc3528804fa8f5dc8ac90e7811cd4a2512..6ff3ea92f35cc34e9660a835915417faa558a26b |
| August 22, 2025 19:29 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-19293187117 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| August 22, 2025 20:28 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-19294196373 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| AA-Turner | https://patch-diff.githubusercontent.com/AA-Turner |
| hugovk | https://patch-diff.githubusercontent.com/hugovk |
| code owners | https://patch-diff.githubusercontent.com/python/peps/blob/1292ca3d4a0b395209516d63374f8ad4865b6537/.github/CODEOWNERS#L11 |
| August 22, 2025 20:28 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-19294196519 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Aug 22, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3215548325 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Aug 23, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3217260444 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Aug 23, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3217268011 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Aug 23, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3217278521 |
| https://private-user-images.githubusercontent.com/65588599/481322106-ec9f8f83-00c5-4cf3-bcfd-495f7865e073.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NjkxMjEyMjksIm5iZiI6MTc2OTEyMDkyOSwicGF0aCI6Ii82NTU4ODU5OS80ODEzMjIxMDYtZWM5ZjhmODMtMDBjNS00Y2YzLWJjZmQtNDk1Zjc4NjVlMDczLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNjAxMjIlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjYwMTIyVDIyMjg0OVomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWZiYjJlZDU4ZGYyMTdhODEyNmZjNWUwYmE3YTk4MzlkY2M2YTMxZDRmZGFiNjg3ODY5YjA3NGRlNWQ0NDllNWImWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.DDU06D2t8z-erfKUC3rFR27xZ0hTAETUIRNr7JnT50w |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Aug 24, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3218102638 |
| @nineteendo | https://github.com/nineteendo |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| force-pushed | https://patch-diff.githubusercontent.com/python/peps/compare/00198711f029605c126b2a427cfefa640361d227..23521385a0004927d7473b06e394e3bbf5d34ffc |
| 0019871 | https://patch-diff.githubusercontent.com/python/peps/commit/00198711f029605c126b2a427cfefa640361d227 |
| 2352138 | https://patch-diff.githubusercontent.com/python/peps/commit/23521385a0004927d7473b06e394e3bbf5d34ffc |
|
Compare
| https://patch-diff.githubusercontent.com/python/peps/compare/00198711f029605c126b2a427cfefa640361d227..23521385a0004927d7473b06e394e3bbf5d34ffc |
| August 24, 2025 15:08 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-19310464397 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Aug 24, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3218215167 |
| @nineteendo | https://github.com/nineteendo |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fpeps%2Fpull%2F4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Aug 25, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3220658307 |
| https://private-user-images.githubusercontent.com/65588599/481674931-86735684-a1f8-425b-8464-6547ec468bd0.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NjkxMjEyMjksIm5iZiI6MTc2OTEyMDkyOSwicGF0aCI6Ii82NTU4ODU5OS80ODE2NzQ5MzEtODY3MzU2ODQtYTFmOC00MjViLTg0NjQtNjU0N2VjNDY4YmQwLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNjAxMjIlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjYwMTIyVDIyMjg0OVomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTcyNWFhYzExZGY4YjAyM2ViOGYxOWRmOTAwMTE3ZDNlMjBkMzM4OTNhNjA2YjA1YzAwNzFkMzRmMjAzNzE5MmMmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.9e66au0F5OjqKYwtXpgQY96LogcjePzHQRuiZVWLTmY |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Sep 8, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3268339814 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| December 29, 2025 09:37 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#commits-pushed-8d0839a |
|
| https://patch-diff.githubusercontent.com/miketheman |
| feat: add pagefind search | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/8d0839ae9ba6efeddacab5b60fd2228926534f45 |
| 8d0839a | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/8d0839ae9ba6efeddacab5b60fd2228926534f45 |
| https://pagefind.app/ | https://pagefind.app/ |
| https://pypi.org/project/pagefind/ | https://pypi.org/project/pagefind/ |
|
| https://patch-diff.githubusercontent.com/miketheman |
| fix: ensure title is set correctly | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/411648bb52ca125a7e22d492463b5a4778f9c35e |
| 411648b | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/411648bb52ca125a7e22d492463b5a4778f9c35e |
|
| https://patch-diff.githubusercontent.com/miketheman |
| fix: abandon built-in styles | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/a37d019e910f8f8f8a0b51d5a3c63c2873756dfa |
| a37d019 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/a37d019e910f8f8f8a0b51d5a3c63c2873756dfa |
| https://pagefind.app/docs/ui-usage/#customising-the-styles | https://pagefind.app/docs/ui-usage/#customising-the-styles |
|
| https://patch-diff.githubusercontent.com/miketheman |
| feat: add mobile search dialog box and styling | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/d9f885703efa189f46a4b7b101d6b649c9c81d88 |
| d9f8857 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/d9f885703efa189f46a4b7b101d6b649c9c81d88 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| style: add a little styling to not clip numbers | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/ed6cea35a1e699fece25c3a037e9c3f1634a257d |
| ed6cea3 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/ed6cea35a1e699fece25c3a037e9c3f1634a257d |
|
| https://patch-diff.githubusercontent.com/miketheman |
| fix: remove noisy pages from indexing | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/dfcbb5b916e0dffa4cf64e59980d2dac8165595c |
| dfcbb5b | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/dfcbb5b916e0dffa4cf64e59980d2dac8165595c |
|
| https://patch-diff.githubusercontent.com/miketheman |
| chore(deps): update to latest pagefind release | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/3a3cbc4683d1c7b61aa14c5c419185b23380f5d4 |
| 3a3cbc4 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/3a3cbc4683d1c7b61aa14c5c419185b23380f5d4 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| style: give the sidebar a little more room for results | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/eedb14b76d42475d825485858ae761b191b0050c |
| eedb14b | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/eedb14b76d42475d825485858ae761b191b0050c |
|
| https://patch-diff.githubusercontent.com/miketheman |
| Revert "style: give the sidebar a little more room for results" | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/011dd3835a485011f27922b3b8e8dd6a18b44214 |
| 011dd38 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/011dd3835a485011f27922b3b8e8dd6a18b44214 |
| eedb14b | https://github.com/miketheman/python-peps/commit/eedb14b76d42475d825485858ae761b191b0050c |
|
| https://patch-diff.githubusercontent.com/miketheman |
| Revert "style: add a little styling to not clip numbers" | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/8f3f074e5d35fbb8803d7b011a843ad5f2c5d263 |
| 8f3f074 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/8f3f074e5d35fbb8803d7b011a843ad5f2c5d263 |
| ed6cea3 | https://github.com/miketheman/python-peps/commit/ed6cea35a1e699fece25c3a037e9c3f1634a257d |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| December 29, 2025 10:36 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#commits-pushed-1113f24 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| adapt style | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/1113f24c214e8b37dda1ebb8f4614dc13c32c2d5 |
| 1113f24 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/1113f24c214e8b37dda1ebb8f4614dc13c32c2d5 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| update html | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/cae73c61d9ed67c4dd1dd0577883f7165c75de11 |
| cae73c6 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/cae73c61d9ed67c4dd1dd0577883f7165c75de11 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| force-pushed | https://patch-diff.githubusercontent.com/python/peps/compare/a865e7149112372aaffadb718c6f3f3b0cf77ca0..cae73c61d9ed67c4dd1dd0577883f7165c75de11 |
| a865e71 | https://patch-diff.githubusercontent.com/python/peps/commit/a865e7149112372aaffadb718c6f3f3b0cf77ca0 |
| cae73c6 | https://patch-diff.githubusercontent.com/python/peps/commit/cae73c61d9ed67c4dd1dd0577883f7165c75de11 |
|
Compare
| https://patch-diff.githubusercontent.com/python/peps/compare/a865e7149112372aaffadb718c6f3f3b0cf77ca0..cae73c61d9ed67c4dd1dd0577883f7165c75de11 |
| December 29, 2025 15:49 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#event-21780754568 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3696881869 |
| https://pep-previews--4247.org.readthedocs.build/ | https://pep-previews--4247.org.readthedocs.build/ |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3696922948 |
| https://private-user-images.githubusercontent.com/65588599/530760626-d7cbccbd-699b-40d9-8f30-eeae90d97210.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NjkxMjEyMjksIm5iZiI6MTc2OTEyMDkyOSwicGF0aCI6Ii82NTU4ODU5OS81MzA3NjA2MjYtZDdjYmNjYmQtNjk5Yi00MGQ5LThmMzAtZWVhZTkwZDk3MjEwLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNjAxMjIlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjYwMTIyVDIyMjg0OVomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWUzZmI0MDkwNDMyYmE3NWIzOTIzZDEyN2M3OTFkMTNhZWNmM2VlZjFjOWQ1NGI1NDY4ODNkNjBmMDU1ZTk5NzUmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.PyYkef7B-Qp-qXcwC6T2ndYeBJubSqWxQeg3Ds77nZ0 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3696931075 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/nineteendo |
| nineteendo | https://patch-diff.githubusercontent.com/nineteendo |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3697032569 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/hugovk |
| hugovk | https://patch-diff.githubusercontent.com/hugovk |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3697065557 |
| https://docs.python.org | https://docs.python.org |
| https://pypi.org | https://pypi.org |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| fix: keep Clear button within the search input | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/09349f558e4cdb61f99970a83b2ddbaf82559009 |
| 09349f5 | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/09349f558e4cdb61f99970a83b2ddbaf82559009 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Dec 29, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3697396115 |
| @nineteendo | https://github.com/nineteendo |
| @hugovk | https://github.com/hugovk |
| RTD admin UI to disable the Server-Side Search | https://www.dropbox.com/scl/fi/45q5c6req00fs7yqw508u/Screenshot-2025-12-29-at-15.06.46.png?rlkey=7e6p9e6asxo2ms6racd3kd789&dl=0 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| https://patch-diff.githubusercontent.com/hugovk |
| hugovk | https://patch-diff.githubusercontent.com/hugovk |
| Dec 31, 2025 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3702174190 |
| https://app.readthedocs.org/dashboard/pep-previews/addons/edit/ | https://app.readthedocs.org/dashboard/pep-previews/addons/edit/ |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| January 5, 2026 14:03 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#commits-pushed-e85cdac |
|
| https://patch-diff.githubusercontent.com/miketheman |
| Merge branch 'main' into pagefind-search | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/e85cdaced99a79df4c55158586f56fdf8a553e62 |
| e85cdac | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/e85cdaced99a79df4c55158586f56fdf8a553e62 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| Merge branch 'main' into pagefind-search | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/86e155a89b49aea12180393749aab8f5f7e4fcf6 |
| 86e155a | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/86e155a89b49aea12180393749aab8f5f7e4fcf6 |
| https://patch-diff.githubusercontent.com/miketheman |
| miketheman | https://patch-diff.githubusercontent.com/miketheman |
| Jan 6, 2026 | https://patch-diff.githubusercontent.com/python/peps/pull/4247#issuecomment-3714968128 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
| https://patch-diff.githubusercontent.com/miketheman |
| Merge branch 'main' into pagefind-search | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/e88877e4ceffdd75215c7525d17b88b55431d67f |
| e88877e | https://patch-diff.githubusercontent.com/python/peps/pull/4247/commits/e88877e4ceffdd75215c7525d17b88b55431d67f |
| Sign up for free | https://patch-diff.githubusercontent.com/join?source=comment-repo |
| Sign in to comment | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fpeps%2Fpull%2F4247 |
|
| https://patch-diff.githubusercontent.com/AA-Turner |
|
AA-Turner
| https://patch-diff.githubusercontent.com/AA-Turner |
|
| https://patch-diff.githubusercontent.com/hugovk |
|
hugovk
| https://patch-diff.githubusercontent.com/hugovk |
|
Infra: Add search to the PEP index
| https://github.com/python/peps/issues/4083 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/peps/pull/4247 |
|
| https://patch-diff.githubusercontent.com/miketheman |
|
| https://patch-diff.githubusercontent.com/nineteendo |
|
| https://patch-diff.githubusercontent.com/willingc |
|
| https://patch-diff.githubusercontent.com/hugovk |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |