Skip to content

roadmap: the distribution ledger after 0.6.0 - #80

Merged
simontreanor merged 1 commit into
mainfrom
ledger-0.6.0
Aug 29, 2026
Merged

roadmap: the distribution ledger after 0.6.0#80
simontreanor merged 1 commit into
mainfrom
ledger-0.6.0

Conversation

@simontreanor

Copy link
Copy Markdown
Owner

The paper trail for the 0.6.0 release, recorded once rather than per surface.

Verified against each registry's API rather than assumed:

Surface State
PyPI pyfun-lang 0.6.0, published by the tag, verified in a clean venv
Open VSX 0.6.0
JetBrains (32915) 0.6.0 uploaded, awaiting moderation
VS Code Marketplace 0.5.0, the 0.6.0 vsix needs its manual upload

Two ledger entries were wrong rather than merely stale:

  • Zed said "still open and need nothing from us". A reviewer requested changes on 2026-08-10: the submodule pointed at a branch commit that stopped being reachable once that branch was squash-merged and deleted. It is repointed at the v0.6.0 commit and awaiting re-review. The general rule is now recorded, since it applies to every future pin.
  • MELPA recorded the one-month gate (passed 2026-08-14) but not the monorepo preference in the same closing comment, which is what to weigh if the re-opened PR meets resistance.

PyPI and Open VSX are at 0.6.0 and verified against their APIs. JetBrains is
uploaded and waiting on moderation, and the VS Code Marketplace still wants its
manual upload, which is the surface that falls behind.

Zed no longer "needs nothing from us": a reviewer asked on 2026-08-10 for the
submodule to point at a commit on main, because the pin named a branch commit
that stopped being reachable once that branch was squash-merged and deleted.
Repointed at the v0.6.0 commit. The lesson generalises to any future pin, so it
is recorded rather than left as a one-off.

MELPA's one-month gate passed on 2026-08-14. Their closing note also carried a
monorepo preference that the ledger did not record, which changes what to do if
the re-opened PR meets resistance.
@simontreanor
simontreanor merged commit d9e0674 into main Aug 29, 2026
16 checks passed
@simontreanor
simontreanor deleted the ledger-0.6.0 branch August 29, 2026 15:32
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