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.

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

Rename Advanced Tools to Development Tools #1149

Merged
merged 5 commits into from
Aug 8, 2023

Conversation

erlend-aasland
Copy link
Contributor

@erlend-aasland erlend-aasland commented Aug 2, 2023

Also relocate to between Testing & Buildbots and Core Developers

As suggested by @CAM-Gerlach in #1148 (comment):

Advanced Tools is another option to consider, as it specifically covers how to use various tools for CPython development, so is at least nominally the most on-topic. It currently mostly focused on "advanced" tools (like GDB, Clang dynamic analysis, and Coverity) that won't be used by most CPython developers, so folks might not think to look there first. However, a rename to "Development Tools", a move to between Testing and Buildbots and Core Developers, and putting the Argument Clinic guide in the section first might help address that, as well as be a good spot for similar such guides in the future.

Therefore, my preference would be for Development Tools (Advanced Tools) with the changes suggested above.


📚 Documentation preview 📚: https://cpython-devguide--1149.org.readthedocs.build/

@erlend-aasland
Copy link
Contributor Author

@hugovk, should I also do something with the redirects dict? (Would it be possible to link from the old URL to the new URL?)

conf.py Show resolved Hide resolved
erlend-aasland and others added 2 commits August 3, 2023 21:33
@erlend-aasland
Copy link
Contributor Author

@CAM-Gerlach, since you requested this change: are you fine with this PR as it stands?

@erlend-aasland erlend-aasland merged commit 689528c into python:main Aug 8, 2023
2 checks passed
@erlend-aasland erlend-aasland deleted the enter-development-tools branch August 8, 2023 20:05
@erlend-aasland
Copy link
Contributor Author

Thanks, y'all

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants