Skip to content

roadmap: the distribution ledger after 0.5.0 - #60

Merged
simontreanor merged 1 commit into
mainfrom
roadmap/0.5.0-distribution
Aug 2, 2026
Merged

roadmap: the distribution ledger after 0.5.0#60
simontreanor merged 1 commit into
mainfrom
roadmap/0.5.0-distribution

Conversation

@simontreanor

Copy link
Copy Markdown
Owner

Records where each surface actually is after the 0.5.0 release, every number verified against the registry API rather than assumed:

surface version note
PyPI pyfun-lang 0.5.0 rode the tag; verified by installing into a clean venv and running both 0.5.0 features
Open VSX 0.5.0 published with ovsx publish
GitHub release 0.5.0 pyfun-0.5.0.vsix attached, correctly named
JetBrains 0.4.0 0.5.0 owed
VS Code Marketplace 0.4.0 0.5.0 owed (manual upload)

Two corrections fell out of checking rather than assuming:

  • JetBrains 0.4.0 was uploaded. The ledger said it "is not uploaded yet" and was the one artifact the 0.4.0 release still owed. The plugins API says 0.4.0 is live. That is the second time this line has gone stale in the same direction, so it now tells the reader to trust the API over itself.
  • The JetBrains publish is blocked on tooling, not acceptance. gradle publishPlugin needs Gradle on PATH, editors/jetbrains/ has no wrapper, and Gradle is not installed on the dev machine. Adding a Gradle wrapper would make this as scriptable as Open VSX, which is noted as the fix rather than left as a recurring surprise.

Also adds a PyPI row, which the ledger did not have even though it is the surface most users meet first.

PyPI and Open VSX are at 0.5.0 and verified against their APIs; the VS Code
Marketplace and JetBrains are at 0.4.0 and owe 0.5.0.

Two corrections while checking: JetBrains 0.4.0 *was* uploaded, so the ledger's
"not uploaded yet" note was stale in the same way the "awaiting moderation" one
had been before it, and the line now says to trust the API over itself. The
JetBrains publish is blocked on tooling rather than on acceptance: there is no
Gradle wrapper in editors/jetbrains and Gradle is not installed on the dev
machine, which is worth fixing if that upload should ever be scriptable.
@simontreanor
simontreanor merged commit 4165ca5 into main Aug 2, 2026
11 checks passed
@simontreanor
simontreanor deleted the roadmap/0.5.0-distribution branch August 2, 2026 19:01
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.

1 participant