Skip to content

docs: remove stale PyPI warning from extension guide#3578

Merged
mnriem merged 1 commit into
github:mainfrom
WOLIKIMCHENG:docs/3575-pypi-upgrade-guidance
Jul 17, 2026
Merged

docs: remove stale PyPI warning from extension guide#3578
mnriem merged 1 commit into
github:mainfrom
WOLIKIMCHENG:docs/3575-pypi-upgrade-guidance

Conversation

@WOLIKIMCHENG

Copy link
Copy Markdown
Contributor

Summary

  • update the extension development troubleshooting guidance for version mismatches
  • remove the stale claim that PyPI specify-cli is unrelated
  • point source-install and PyPI-install users to the existing upgrade docs

Closes #3575

Validation

  • git diff --check -- extensions/EXTENSION-DEVELOPMENT-GUIDE.md
  • searched for stale PyPI warning phrases in the target file and relevant docs
  • verified the linked upgrade docs and PyPI #upgrade anchor exist

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Updates extension troubleshooting to reflect PyPI as an official installation channel.

Changes:

  • Removes the obsolete PyPI warning.
  • Links source and PyPI users to appropriate upgrade guidance.
Show a summary per file
File Description
extensions/EXTENSION-DEVELOPMENT-GUIDE.md Corrects version-mismatch troubleshooting guidance.

Review details

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 1/1 changed files
  • Comments generated: 0
  • Review effort level: Medium

@mnriem
mnriem merged commit 309166e into github:main Jul 17, 2026
12 checks passed
@mnriem

mnriem commented Jul 17, 2026

Copy link
Copy Markdown
Collaborator

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug]: EXTENSION-DEVELOPMENT-GUIDE.md still claims specify-cli on PyPI is "a different, unrelated project", contradicting README

3 participants