Skip to content

docs: move documentation into the GitHub wiki - #21

Merged
ernolf merged 1 commit into
mainfrom
ernolf/docs/wiki-migration
Aug 3, 2026
Merged

docs: move documentation into the GitHub wiki#21
ernolf merged 1 commit into
mainfrom
ernolf/docs/wiki-migration

Conversation

@ernolf

@ernolf ernolf commented Aug 3, 2026

Copy link
Copy Markdown
Owner
  • Rewrite README.md as a slim landing page pointing to the wiki
  • Remove the doc/ directory; its pages now live in the GitHub wiki
  • Repoint the in-code doc/ references to their wiki URLs in the workflow templates and the workflows help text
  • Replace the doc/INSTALL.md example in img/README.md with a generic app README
  • Add .gitattributes to normalise line endings to LF

- Rewrite README.md as a slim landing page pointing to the wiki
- Remove the doc/ directory; its pages now live in the GitHub wiki
- Repoint the in-code doc/ references to their wiki URLs in the workflow templates and the workflows help text
- Replace the doc/INSTALL.md example in img/README.md with a generic app README
- Add .gitattributes to normalise line endings to LF

Signed-off-by: ernolf <raphael.gradenwitz@googlemail.com>
@ernolf
ernolf merged commit b5b990b into main Aug 3, 2026
7 checks passed
@github-actions
github-actions Bot deleted the ernolf/docs/wiki-migration branch August 3, 2026 18:47
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