Skip to content

fix: publish the Platform document's fragment under its dotted project - #143

Merged
ExtraToast merged 1 commit into
mainfrom
fix/publish-dotted-platform-name
Oct 7, 2026
Merged

ExtraToast merged 1 commit into
mainfrom
fix/publish-dotted-platform-name

Conversation

@ExtraToast

Copy link
Copy Markdown
Contributor

Summary

  • The Platform document names its project by domain, jorisjonkers.dev (deploy-kit spec/v1/40-composition.md#participants), and is a participant like any project, so the estate publishes it through publish-fragment.
  • pack.sh and push.sh both refused the name. A name is now one or more DNS labels joined by dots; an OCI repository name holds that, so it publishes to ghcr.io/jorisjonkers-dev/intent-jorisjonkers.dev.
  • Still refused before any push: a path, an upper-case letter, an empty label (a..b, .notes, notes.), and a label that starts with a hyphen.

Test plan

  • python3 -m unittest discover -s tests: a new push test for jorisjonkers.dev, and the refusal test widened to the dotted cases above.
  • shellcheck clean.

Part of JorisJonkers-dev/estate#2.

The Platform document's project is a domain, jorisjonkers.dev, and both the
pack and the push refused it as not a name. A name is now one or more DNS
labels joined by dots, which an OCI repository name also holds; a path, an
upper-case letter, an empty label and a label that begins or ends with a
hyphen are still refused before anything is pushed.
@ExtraToast ExtraToast added the type: bug Something is broken or behaving incorrectly. label Oct 7, 2026
@ExtraToast
ExtraToast merged commit a819810 into main Oct 7, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: bug Something is broken or behaving incorrectly.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant