Skip to content

chore: back-merge main into develop - #4

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

chore: back-merge main into develop#4
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: 08a0824 -- Merge pull request #3 from lorem-dev/feature/readme-doc-links

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

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

lorem-dev and others added 2 commits August 2, 2026 22:08
The README linked into `docs/` by file path. Those links work when reading
the repository on GitHub and nowhere else: they are dead in the rendered
crate description, in anything that mirrors the README, and in a checkout
without the documentation source. Every one of them now points at
https://lorem-dev.github.io/doppel/, where the same page is published --
verified by fetching all six.

The two remaining `docs/` references are not documentation links: the logo
asset, and the source directory named by the local `mkdocs serve`
instruction.
docs: point the README at the published documentation
@lorem-dev
lorem-dev merged commit 7b2336f into develop Aug 2, 2026
5 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