Skip to content

manuals: next#2010

Merged
eljamm merged 9 commits into
ngi-nix:mainfrom
ju1m:manuals-next
Jan 30, 2026
Merged

manuals: next#2010
eljamm merged 9 commits into
ngi-nix:mainfrom
ju1m:manuals-next

Conversation

@ju1m
Copy link
Copy Markdown

@ju1m ju1m commented Jan 22, 2026

Done

@ju1m ju1m requested a review from imincik January 22, 2026 16:17
@ju1m ju1m assigned phanirithvij and unassigned phanirithvij Jan 22, 2026
@ju1m ju1m requested a review from phanirithvij January 22, 2026 16:18
@ju1m ju1m self-assigned this Jan 22, 2026
@ju1m ju1m force-pushed the manuals-next branch 2 times, most recently from 2542265 to bf7591d Compare January 22, 2026 20:32
@ju1m
Copy link
Copy Markdown
Author

ju1m commented Jan 22, 2026

  • Fix a mistake after I inadvertently pushed commits belonging to another PR

Comment thread .version Outdated
@ju1m
Copy link
Copy Markdown
Author

ju1m commented Jan 24, 2026

Done

  • Fix .version
  • Fix wrapping of option titles

ToDo

  • manuals.devmode

@eljamm
Copy link
Copy Markdown
Contributor

eljamm commented Jan 30, 2026

Added devmode for overview+manual. I also reverted the change from manual to manuals because that would change the deployment path when we're only exposing 1 manual, which doesn't make sense.

@eljamm eljamm merged commit 4f8c818 into ngi-nix:main Jan 30, 2026
12 checks passed
@github-project-automation github-project-automation Bot moved this to Done in Nix@NGI Jan 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants