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

gh-135965: Delete duplicate word in isolating-extensions howto by LamentXU123 · Pull Request #135964 · python/cpython · GitHub

  1. python
  2. cpython

Repository navigation

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

Merged
terryjreedy merged 1 commit into
python:mainfrom
LamentXU123:fix-typo-in-isolating-extensions
Jun 26, 2025
ConversationCommits (1)ChecksFiles changed
Merged

gh-135965: Delete duplicate word in isolating-extensions howto#135964
terryjreedy merged 1 commit into
python:mainfrom
LamentXU123:fix-typo-in-isolating-extensions

Conversation

LamentXU123 commented Jun 26, 2025 •
edited by terryjreedy
Loading

Copy link
Copy Markdown
Contributor

bedevere-app Bot added awaiting review docs Documentation in the Doc dir skip news labels Jun 26, 2025
github-project-automation Bot moved this to Todo in Docs PRs Jun 26, 2025
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
bedevere-app Bot mentioned this pull request Jun 26, 2025
Closed
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
LamentXU123 mentioned this pull request Jun 26, 2025
Closed
terryjreedy self-assigned this Jun 26, 2025
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 added needs backport to 3.13 only security fixes needs backport to 3.14 bugs and security fixes labels Jun 26, 2025
terryjreedy merged commit ffb2a02 into python:main Jun 26, 2025
github-project-automation Bot moved this from Todo to Done in Docs PRs Jun 26, 2025

miss-islington-app Bot commented Jun 26, 2025

Copy link
Copy Markdown

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
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
5413827 
…ythonGH-135964)

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

Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Jun 26, 2025
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
1f773c2 
…ythonGH-135964)

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

Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>

bedevere-app Bot commented Jun 26, 2025

Copy link
Copy Markdown

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

bedevere-app Bot removed the needs backport to 3.14 bugs and security fixes label Jun 26, 2025

bedevere-app Bot commented Jun 26, 2025

Copy link
Copy Markdown

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

bedevere-app Bot removed the needs backport to 3.13 only security fixes label Jun 26, 2025

terryjreedy commented Jun 26, 2025 •
edited
Loading

Copy link
Copy Markdown
Member

@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
[3.14] gh-135965: Delete duplicate word in isolating-extensions howto (…
19740b7 
…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 <108666168+LamentXU123@users.noreply.github.com>
terryjreedy pushed a commit that referenced this pull request Jun 26, 2025
[3.13] gh-135965: Delete duplicate word in isolating-extensions howto (…
3789d8d 
…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 <108666168+LamentXU123@users.noreply.github.com>

StanFromIreland commented Jun 26, 2025

Copy link
Copy Markdown
Member

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

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

LamentXU123 commented Jun 26, 2025 •
edited
Loading

Copy link
Copy Markdown
Contributor Author

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

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.

AndPuQing pushed a commit to AndPuQing/cpython that referenced this pull request Jul 11, 2025
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
807d99d 
…ython#135964)

Change use use to use.
Pranjal095 pushed a commit to Pranjal095/cpython that referenced this pull request Jul 12, 2025
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
fc934d9 
…ython#135964)

Change use use to use.
taegyunkim pushed a commit to taegyunkim/cpython that referenced this pull request Aug 4, 2025
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
4510196 
…ython#135964)

Change use use to use.
Agent-Hellboy pushed a commit to Agent-Hellboy/cpython that referenced this pull request Aug 19, 2025
pythongh-135965: Delete duplicate word in isolating-extensions howto (p…
305dd36 
…ython#135964)

Change use use to use.
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
Show hidden characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

terryjreedy

Labels

docs Documentation in the Doc dir skip news

Projects

Docs PRs
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

Back | FazBrowse Home | New Git URL