FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Rename Advanced Tools to Development Tools by erlend-aasland · Pull Request #1149 · python/devguide · GitHub

Repository navigation

Rename Advanced Tools to Development Tools - #1149

Merged
erlend-aasland merged 5 commits into
python:mainfrom
erlend-aasland:enter-development-tools
Aug 8, 2023
Merged

erlend-aasland merged 5 commits into
python:mainfrom
erlend-aasland:enter-development-tools

Conversation

erlend-aasland commented Aug 2, 2023 •
edited
Loading

Copy link
Copy Markdown
Contributor

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/

Copy link
Copy Markdown
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?)

Comment thread conf.py
erlend-aasland and others added 2 commits August 3, 2023 21:33
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>

Copy link
Copy Markdown
Contributor Author

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

erlend-aasland merged commit 689528c into python:main Aug 8, 2023
erlend-aasland deleted the enter-development-tools branch August 8, 2023 20:05

Copy link
Copy Markdown
Contributor Author

Thanks, y'all

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL