X Tutup
The Wayback Machine - https://web.archive.org/web/20221223143607/https://github.com/python/cpython/pull/92775
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

[3.10] Document Py_ssize_t. (GH-92512) #92775

Merged
merged 1 commit into from May 13, 2022

Conversation

miss-islington
Copy link
Contributor

@miss-islington miss-islington commented May 13, 2022

It fixes 252 errors from a Sphinx nitpicky run (sphinx-build -n). But
there's 8182 errors left.

Co-authored-by: Ezio Melotti ezio.melotti@gmail.com
(cherry picked from commit 664aa94)

Co-authored-by: Julien Palard julien@palard.fr

Automerge-Triggered-By: GH:JulienPalard

It fixes 252 errors from a Sphinx nitpicky run (sphinx-build -n). But
there's 8182 errors left.

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
(cherry picked from commit 664aa94)

Co-authored-by: Julien Palard <julien@palard.fr>
@miss-islington
Copy link
Contributor Author

miss-islington commented May 13, 2022

@JulienPalard: Status check is done, and it's a failure .

@miss-islington
Copy link
Contributor Author

miss-islington commented May 13, 2022

@JulienPalard: Status check is done, and it's a success .

@miss-islington miss-islington merged commit 48f2d8d into python:3.10 May 13, 2022
13 checks passed
@JulienPalard JulienPalard added awaiting merge 🤖 automerge PR will be merged once it's been approved and all CI passed labels May 13, 2022
@miss-islington miss-islington deleted the backport-664aa94-3.10 branch May 13, 2022
@miss-islington
Copy link
Contributor Author

miss-islington commented May 13, 2022

Sorry, I can't merge this PR. Reason: Pull Request is not mergeable.

1 similar comment
@miss-islington
Copy link
Contributor Author

miss-islington commented May 13, 2022

Sorry, I can't merge this PR. Reason: Pull Request is not mergeable.

@JulienPalard JulienPalard removed 🤖 automerge PR will be merged once it's been approved and all CI passed awaiting merge labels May 13, 2022
@miss-islington
Copy link
Contributor Author

miss-islington commented May 13, 2022

@JulienPalard: Status check is done, and it's a success .

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.

None yet

3 participants
X Tutup