Repository navigation

Avoid repeated tree traversal in `History` construction - #1150

Merged

tturocy merged 1 commit into

Sep 16, 2026

Merged

Avoid repeated tree traversal in `History` construction#1150
tturocy merged 1 commit into
masterfrom
issue_1139

Commits on Sep 16, 2026
- Avoid repeated tree traversal in `History` construction
  tturocy
  committed
  570b358