Sean O Brien
2a9d6a5fcf
PEP 693: Add Python 3.12.0rc3 release date ( #3443 )
...
Add Python 3.12.0rc3 release date.
2023-09-19 16:26:28 +02:00
Rich Chiodo
48306604c8
PEP 724: Stricter TypeGuard ( #3266 )
...
Co-authored-by: Erik De Bonte <erikd@microsoft.com>
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
2023-09-18 16:38:31 -07:00
James Hilton-Balfe
94ac129495
PEP 696: Add section on binding rules ( #3427 )
2023-09-14 06:33:43 -07:00
Hugo van Kemenade
2868fe9c84
Lint: Update Ruff config ( #3433 )
2023-09-10 16:04:40 +01:00
Adam Turner
233cd5e065
Meta: Instruct linguist to include PEPs in the statistics ( #3430 )
2023-09-09 19:58:51 +01:00
Adam Turner
08d688fdca
All PEPs: Move to ``peps/`` folder ( #3418 )
2023-09-09 18:39:29 +01:00
Adam Turner
0f22268963
Lint: Add Ruff ( #3429 )
2023-09-09 17:33:52 +01:00
Adam Turner
971a49b67a
PEP 727: Review ( #3316 )
...
* Strip thread name
* Link to Python docs
* Reference PEP 484
* Fix heading levels
* Add missing sections (as a comment)
* Rename EAaOPV to Reference Implementation
* Code block formatting
* Remove leading elipses
* Tighten usage criteria
* Remove non-specification content
* Rewrite the Specification
* Simplify Examples and move DocInfo to the reference implementation
* Improve the Reference Implementation
* Syntax
2023-09-07 22:48:58 -07:00
Adam Turner
5ce45eda6d
PEP 713: Mark as Rejected ( #3423 )
2023-09-06 16:44:00 +01:00
T. Wouters
ffdff87dff
PEP 693: Update the Python 3.12.0rc2 release date. ( #3426 )
2023-09-06 15:43:46 +03:00
Adam Turner
2afb609499
Infra: Use actions/checkout version 4 ( #3422 )
2023-09-05 07:08:14 +03:00
Adam Turner
814ceede97
Lint: Add ``check-peps.py`` ( #3275 )
...
``check-peps`` codifies the rules in PEP 1 and PEP 12 into a single
place containing all of the PEP-specific checks. These are primarily
header and metadata validation, and ensuring that direct links to
RFCs and PEPs aren't used.
Reviewed-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Reviewed-by: C.A.M. Gerlach <cam.gerlach@gerlach.cam>
2023-09-05 04:44:46 +01:00
Adam Turner
fe3993d64a
PEP 499: Shorten the title ( #3325 )
2023-09-05 02:40:47 +00:00
Adam Turner
497250afe0
Infra: Update documentation and ``build.py`` ( #3420 )
...
- Always fail on warnings, remove the related flag
- Nitpicky is now enabled in ``conf.py``, remove the related flag
- Use direct links to PEPs rather than Sphinx-only ``:doc:`` roles
- Remove references to ``AUTHOR_OVERRIDES.csv``, which is no longer used
- Fix indentation for an enumerated list
2023-09-03 22:08:42 +01:00
Adam Turner
2d4c98dca7
Infra: Prepare for moving PEPs to a subfolder ( #3417 )
2023-09-03 04:55:19 +01:00
Pradyun Gedam
e7314c978b
PEP 725: Fix example using `project.optional-dependencies` ( #3416 )
...
Correct the syntax used to specify optional runtime Python dependencies.
2023-09-01 21:54:33 +01:00
Adam Turner
678bc9b8d3
Lint: Enable pre-commit default role checks ( #3415 )
2023-09-01 20:41:07 +01:00
Adam Turner
d285b1ae1d
PEP 497: Resolve uses of the default role ( #3414 )
2023-09-01 20:37:23 +01:00
Adam Turner
b0ef027427
PEP 495: Resolve uses of the default role ( #3413 )
2023-09-01 19:32:22 +00:00
Adam Turner
12326a9337
PEP 458: Resolve uses of the default role ( #3405 )
2023-09-01 20:32:10 +01:00
Adam Turner
fba94ce6c9
PEP 425: Resolve uses of the default role ( #3393 )
2023-09-01 20:31:42 +01:00
Adam Turner
c8346db3e6
PEP 493: Resolve uses of the default role ( #3412 )
2023-09-01 19:31:32 +00:00
Adam Turner
65191051cd
PEP 488: Resolve uses of the default role ( #3411 )
2023-09-01 19:31:27 +00:00
Adam Turner
ea57cc320c
PEP 485: Resolve uses of the default role ( #3410 )
2023-09-01 19:31:21 +00:00
Adam Turner
3f39a801a1
PEP 468: Resolve uses of the default role ( #3408 )
2023-09-01 19:31:14 +00:00
Adam Turner
dfc21e6062
PEP 461: Resolve uses of the default role ( #3407 )
2023-09-01 19:31:06 +00:00
Adam Turner
2e87059c8e
PEP 477: Resolve uses of the default role ( #3409 )
2023-09-01 19:31:04 +00:00
Adam Turner
49abbcea97
PEP 339: Resolve uses of the default role ( #3373 )
2023-09-01 20:30:52 +01:00
Adam Turner
303c618638
PEP 302: Resolve uses of the default role ( #3369 )
2023-09-01 20:30:43 +01:00
Adam Turner
0e6087cfff
PEP 6: Resolve uses of the default role ( #3367 )
2023-09-01 20:30:35 +01:00
Adam Turner
e1e1a29802
PEP 459: Resolve uses of the default role ( #3406 )
2023-09-01 19:30:24 +00:00
Adam Turner
2e3497b4bb
PEP 457: Resolve uses of the default role ( #3404 )
2023-09-01 19:30:14 +00:00
Adam Turner
cf42856db1
PEP 448: Resolve uses of the default role ( #3403 )
2023-09-01 19:29:38 +00:00
Adam Turner
8a318a5400
PEP 440: Resolve uses of the default role ( #3395 )
2023-09-01 19:28:04 +00:00
Adam Turner
09e6c75fd8
PEP 3151: Resolve uses of the default role ( #3402 )
2023-09-01 19:27:57 +00:00
Adam Turner
87d13e4169
PEP 516: Resolve uses of the default role ( #3400 )
2023-09-01 19:27:51 +00:00
Adam Turner
76159afb05
PEP 3149: Resolve uses of the default role ( #3401 )
2023-09-01 19:27:45 +00:00
Adam Turner
96480c49e4
PEP 510: Resolve uses of the default role ( #3398 )
2023-09-01 19:27:36 +00:00
Adam Turner
47b79e09fe
PEP 499: Resolve uses of the default role ( #3397 )
2023-09-01 19:27:29 +00:00
Adam Turner
27e9d90500
PEP 447: Resolve uses of the default role ( #3396 )
2023-09-01 19:27:20 +00:00
Adam Turner
5fcb01a22c
PEP 512: Resolve uses of the default role ( #3399 )
2023-09-01 19:27:07 +00:00
Adam Turner
a1a1346fb8
PEP 423: Resolve uses of the default role ( #3392 )
2023-09-01 19:26:52 +00:00
Adam Turner
3ea21da044
PEP 431: Resolve uses of the default role ( #3394 )
2023-09-01 19:26:41 +00:00
Adam Turner
e9448dbb41
PEP 391: Resolve uses of the default role ( #3388 )
2023-09-01 19:26:38 +00:00
Adam Turner
bff9f540a2
PEP 402: Resolve uses of the default role ( #3391 )
2023-09-01 19:26:24 +00:00
Adam Turner
3bc3ad8f39
PEP 399: Resolve uses of the default role ( #3390 )
2023-09-01 19:26:13 +00:00
Adam Turner
72cafd1859
PEP 394: Resolve uses of the default role ( #3389 )
2023-09-01 19:25:59 +00:00
Adam Turner
90bf48eb4c
PEP 390: Resolve uses of the default role ( #3387 )
2023-09-01 19:25:38 +00:00
Adam Turner
eecda12e5a
PEP 3147: Resolve uses of the default role ( #3385 )
2023-09-01 19:21:21 +00:00
Adam Turner
ac2c284aea
PEP 3146: Resolve uses of the default role ( #3384 )
2023-09-01 19:21:05 +00:00