Repository navigation

Keep recordings on Ctrl+C, drop dataset repair, make Stop immediate - #134

Merged

nicolas-rabault merged 2 commits into

mainfrom

fix/finalize-on-shutdown

Oct 8, 2026

Merged

Keep recordings on Ctrl+C, drop dataset repair, make Stop immediate#134
nicolas-rabault merged 2 commits into
mainfrom
fix/finalize-on-shutdown

Commits on Oct 8, 2026
- fix(record): finalize recordings on server shutdown, drop dataset repair
  nicolas-rabault
  committed
  c5108c2
- fix(datasets): refuse escaping repo_ids before the Hub fallback
  nicolas-rabault
  committed
  bd0009c