Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

All PEPs: Move to peps/ folder #3418

Merged
merged 22 commits into from
Sep 9, 2023
Merged

All PEPs: Move to peps/ folder #3418

Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift click to select a range
a1cab43
All PEPs: Move to ``peps/`` folder
AA-Turner Sep 1, 2023
18177d9
Update supporting files
AA-Turner Sep 3, 2023
ae247fd
PEPs are now in a subfolder
AA-Turner Sep 3, 2023
a9e08cf
Tests use .rst suffix
AA-Turner Sep 3, 2023
0099c29
Source link is always .rst
AA-Turner Sep 3, 2023
d0e2387
Update paths in Makefile & build.py; fix pre-commit
AA-Turner Sep 3, 2023
3c6a241
Restore executability
AA-Turner Sep 3, 2023
793a746
Notes from review
AA-Turner Sep 3, 2023
16a906a
Further gitignore updates
AA-Turner Sep 3, 2023
12049f8
Keep groups sorted lexicographically (save PEPs)
AA-Turner Sep 3, 2023
c1cd948
Smaller difference
AA-Turner Sep 3, 2023
53f3e2a
Even smaller difference
AA-Turner Sep 3, 2023
5ef3b63
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 3, 2023
14d7bca
Further supporting files updates
AA-Turner Sep 3, 2023
18d1690
Even smaller difference
AA-Turner Sep 3, 2023
89ed8b3
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 5, 2023
8e9727b
Update check-peps
AA-Turner Sep 5, 2023
d43a7c1
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 5, 2023
1e45b3d
whitespace
AA-Turner Sep 5, 2023
1e2fe77
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 6, 2023
74ab33e
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 8, 2023
e6047c1
Merge remote-tracking branch 'upstream/main' into peps-in-peps
AA-Turner Sep 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'upstream/main' into peps-in-peps
  • Loading branch information
@AA-Turner
AA-Turner committed Sep 8, 2023
commit 74ab33e2497289f402cd991ac71ae1e1af46956b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.