Skip to content

Clean up after repo rename - #11

Merged
po3ts merged 4 commits into
mainfrom
post-rename-cleanup
Jun 3, 2026
Merged

po3ts merged 4 commits into
mainfrom
post-rename-cleanup

Conversation

@po3ts

@po3ts po3ts commented Jun 1, 2026

Copy link
Copy Markdown
Member

Renamed and updated the repo according to what was discussed in our last meeting.

po3ts added 4 commits June 1, 2026 10:45
The driver/scheduler API and Kconfig links pointed at raw source files that Sphinx does not copy into the build, so they returned 404. Wrapped each file in a literalinclude page and linked to it via :doc:.
@po3ts
po3ts requested a review from RainerSchubert June 1, 2026 18:23
@po3ts po3ts self-assigned this Jun 1, 2026
@po3ts po3ts added the documentation Improvements or additions to documentation label Jun 1, 2026
@po3ts

po3ts commented Jun 1, 2026

Copy link
Copy Markdown
Member Author

Since we're not on a paid plan and the repo is private, I can apparently only request one reviewer. I've requested a review from @RainerSchubert, but @bullekeup, @chrysn, and @nor-bot, please also take a look before the repo goes live.

@bullekeup

Copy link
Copy Markdown
Member

Good for me !

@po3ts
po3ts merged commit 6f64422 into main Jun 3, 2026
2 checks passed

This branch was successfully deployed

1 active deployment
github-pages — 6f644225 Deployed Jun 3, 2026 by po3ts via deploy #21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants