Repository navigation

Account admin from the server's terminal: TUI, token, Diataxis docs (#17) - #36

Merged

nicolasdb merged 3 commits into

mainfrom

Nov 3, 2026

Merged

Account admin from the server's terminal: TUI, token, Diataxis docs (#17)#36
nicolasdb merged 3 commits into
mainfrom
admin-tui

Commits on Nov 3, 2026
- Account admin from the server's terminal: TUI, token, Diataxis docs
  
  nicolasdb
  and
  claude
  committed
  10b2907
- smoke: print the server log when the admin tool fails
  
  nicolasdb
  and
  claude
  committed
  c935e76
- try-local: keep a dead server's container for its log
  
  nicolasdb
  and
  claude
  committed
  c2ab370