Skip to content

chore: back-merge main into develop - #5

Merged
lorem-dev merged 2 commits into
developfrom
main
Aug 2, 2026
Merged

chore: back-merge main into develop#5
lorem-dev merged 2 commits into
developfrom
main

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 2, 2026

Copy link
Copy Markdown
Contributor

Automated back-merge of main into develop.

Latest commit on main: 5a25daf -- feat: publish a Docker Hub overview on release

Opened by Back-merge main -> develop, run 30765701417.

Merge this (or turn on auto-merge) to keep develop in step with
main. Resolve any conflicts here rather than on develop.

The image's page on Docker Hub was empty: whatever is not pushed there
stays blank, and it is the only description an image gets for someone who
never opens the repository.

DOCKERHUB.md rather than the README. The reader of that page has already
chosen the image, so it opens with `docker run` instead of the installer,
drops building from source, and leads with the two things that bite --
binding 0.0.0.0 and the templates volume. Every link is absolute; nothing
there is served from a checkout.

The `docker run` and compose snippets are rewritten to the tag being
released before the file is pushed, so the commands name a version that
can actually be pulled. The tags table stays illustrative, matching
docs/usage/docker.md. Pre-releases skip the push, on the same reasoning
that keeps them off the moving tags: the page would tell everyone to pull
an rc.

The logo is a 128px PNG, referenced by raw.githubusercontent.com URL.
Docker Hub renders markdown and no real overview on the hub uses raw
`<img>`, so there is no way to size a 512px original down; and a relative
path would resolve against hub.docker.com.
DOCKERHUB.md opens with an HTML comment explaining what the file is for.
Docker Hub renders markdown, and no overview on the hub uses raw HTML, so
whether it strips a comment or escapes it into visible text at the top of
the page is not worth discovering live. The comment is deleted before the
push instead.
@lorem-dev
lorem-dev merged commit 231decf into develop Aug 2, 2026
7 checks passed
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