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

docs: move integration guide to user-docs #17173

Merged
merged 3 commits into from
Nov 26, 2024

Conversation

woodruffw
Copy link
Member

See #16541.

This is mostly a straight inclusion of integration-guide.rst, although I've added some links to the PyPI where previously only the PyPI mailing list was noted (for announcements).

Signed-off-by: William Woodruff <william@trailofbits.com>
docs/user/api/index.md Outdated Show resolved Hide resolved
docs/user/api/index.md Outdated Show resolved Hide resolved
Signed-off-by: William Woodruff <william@trailofbits.com>
@di di enabled auto-merge (squash) November 26, 2024 14:58
# https://www.python.org/dev/peps/pep-0491/#file-name-convention
wheel_parts = {
tag: re.sub(r'[^\w\d.]+', '_', part, re.UNICODE)
for tag, part in locals().items()
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I had never noticed this before, but this example function is pretty wonky -- it uses locals() for building the wheel_parts here, which is both brittle and probably harder than necessary for more junior Python devs to follow.

I can do a follow-up PR to refactor it if there's interest, or maybe find an alternative implementation of it elsewhere.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm currently working on an improvement to pypa/packaging which should simplify this, so totally fine to leave this as is for now.

@di di merged commit d57082e into pypi:main Nov 26, 2024
20 checks passed
@woodruffw woodruffw deleted the ww/mv-integration-guide branch November 26, 2024 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants