8000 All PEPs: Move to ``peps/`` folder by AA-Turner · Pull Request #3418 · python/peps · GitHub
[go: up one dir, main page]
Skip to content

All PEPs: Move to peps/ folder #3418

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

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 < 8000 details-menu class="SelectMenu js-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
Further gitignore updates 
- Group ignores by purpose
- Remove 'package'
- Remove 'pep-????.html'
- Allow topic to cover top level or in peps/
  • Loading branch information
@AA-Turner
AA-Turner committed Sep 3, 2023
commit 16a906a7f3c6a1b911bf45325c6d27c223f02e4f
26 changes: 16 additions & 10 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,18 +1,24 @@
coverage.xml
# PEPs
pep-0000.rst
pep-????.html
peps.rss
topic
/build

# Python bytecode
__pycache__
*.pyc
*.pyo
*.py[co]

# Editors
*~
*env
.coverage
.idea
.tox
.vscode
*.swp
/build
/package
/peps/topic

# Tests
coverage.xml
.coverage
.tox

# Virtual environments
*env
/venv
0