Skip to content

gh-135965: Delete duplicate word in isolating-extensions howto #135964

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

Merged

Conversation

LamentXU123
Copy link
Contributor

@LamentXU123 LamentXU123 commented Jun 26, 2025

@bedevere-app bedevere-app bot added awaiting review docs Documentation in the Doc dir skip news labels Jun 26, 2025
@github-project-automation github-project-automation bot moved this to Todo in Docs PRs Jun 26, 2025
@LamentXU123 LamentXU123 changed the title Doc: Fix typo(duplicate word) in isolating extensions gh-135965: Doc: Fix typo(duplicate word) in isolating extensions Jun 26, 2025
@LamentXU123 LamentXU123 changed the title gh-135965: Doc: Fix typo(duplicate word) in isolating extensions gh-135965: Fix typo(duplicate word) in isolating extensions Jun 26, 2025
@terryjreedy terryjreedy self-assigned this Jun 26, 2025
@terryjreedy terryjreedy changed the title gh-135965: Fix typo(duplicate word) in isolating extensions gh-135965: Delete duplicate word in isolating-extensions howto Jun 26, 2025
@terryjreedy terryjreedy added needs backport to 3.13 bugs and security fixes needs backport to 3.14 bugs and security fixes labels Jun 26, 2025
@terryjreedy terryjreedy merged commit ffb2a02 into python:main Jun 26, 2025
36 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Jun 26, 2025
@miss-islington-app
Copy link

Thanks @LamentXU123 for the PR, and @terryjreedy for merging it 🌮🎉.. I'm working now to backport this PR to: 3.13, 3.14.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Jun 26, 2025
…ythonGH-135964)

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du <[email protected]>
miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Jun 26, 2025
…ythonGH-135964)

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du <[email protected]>
@bedevere-app
Copy link

bedevere-app bot commented Jun 26, 2025

GH-135977 is a backport of this pull request to the 3.14 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.14 bugs and security fixes label Jun 26, 2025
@bedevere-app
Copy link

bedevere-app bot commented Jun 26, 2025

GH-135978 is a backport of this pull request to the 3.13 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.13 bugs and security fixes label Jun 26, 2025
@terryjreedy
Copy link
Member

terryjreedy commented Jun 26, 2025

@StanFromIreland (Edit:) the issue should have been left open until the PRs were merged. There is a bot that checks for anomalies such as closed issues with open PRs as situations that need attention. I did not reopen since I just merged to main and set (successful) backports to automerge.

terryjreedy pushed a commit that referenced this pull request Jun 26, 2025
…GH-135964) (#135977)

gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964)

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du <[email protected]>
terryjreedy pushed a commit that referenced this pull request Jun 26, 2025
…GH-135964) (#135978)

gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964)

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du <[email protected]>
@StanFromIreland
Copy link
Member

@terryjreedy If you check the log, it was not me who closed it:

image

I did not mention closing the existing issue in any comment of mine.

@LamentXU123
Copy link
Contributor Author

LamentXU123 commented Jun 26, 2025

@terryjreedy If you check the log, it was not me who closed it:

image

I did not mention closing the existing issue in any comment of mine.

My bad here. I close this issue caz I think there is no need of opening it for a typo.(as I saw your comment there) Sry for it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir skip news
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants