Skip to content

gh-130160: use .. program:: directive for documenting platform CLI - #133335

Merged
hugovk merged 5 commits into
python:mainfrom
donbarbos:issue-130160-platform
May 3, 2025
Merged

gh-130160: use .. program:: directive for documenting platform CLI#133335
hugovk merged 5 commits into
python:mainfrom
donbarbos:issue-130160-platform

Conversation

@donbarbos

@donbarbosdonbarbos commented May 3, 2025

Copy link
Copy Markdown
Contributor

@hugovkhugovk left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Thanks!

Comment threadDoc/library/platform.rst Outdated
@hugovk
hugovk merged commit 1550c30 into python:mainMay 3, 2025
@github-project-automationgithub-project-automationBot moved this from Todo to Done in Docs PRsMay 3, 2025
@hugovkhugovk added the needs backport to 3.13 bugs and security fixes label May 3, 2025
@miss-islington-app

Copy link
Copy Markdown

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

@miss-islington-app

Copy link
Copy Markdown

Sorry, @donbarbos and @hugovk, I could not cleanly backport this to 3.13 due to a conflict.
Please backport using cherry_picker on command line.

cherry_picker 1550c30fd5f2f2902bbcbf64165ae904ebcf7e81 3.13

@bedevere-app

Copy link
Copy Markdown

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

@bedevere-appbedevere-appBot removed the needs backport to 3.13 bugs and security fixes label May 3, 2025
hugovk pushed a commit to hugovk/cpython that referenced this pull request May 3, 2025
…`platform` CLI (pythonGH-133335)
(cherry picked from commit 1550c30)
Co-authored-by: Semyon Moroz <donbarbos@proton.me>
hugovk added a commit that referenced this pull request May 3, 2025
…orm` CLI (GH-133335) (#133341)
Co-authored-by: Semyon Moroz <donbarbos@proton.me>
Pranjal095 pushed a commit to Pranjal095/cpython that referenced this pull request Jul 12, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docsDocumentation in the Doc dirskip news

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants

@donbarbos@hugovk