feat: [docs] clarify pinned tool delivery - #139

Merged

lurtz merged 12 commits into

eclipse-score:mainfrom

etas-contrib:tooling-documentation-cleanup

Aug 13, 2026

Commits on Aug 12, 2026

refactor: organize pinned tool infrastructure
AlexanderLanin
committed
c6fbf2a

Commits on Aug 13, 2026

ci: add ruff format and check pre-commit hooks
AlexanderLanin
committed
7ce9979
fix: keep post_create_command.sh installs scoped to docs PR
AlexanderLanin
committed
3a64a5a
refactor: de-duplicate load_feature_versions.sh
AlexanderLanin
committed
8d9fc3f
refactor: drop redundant --check flag from sync_readme.py
AlexanderLanin
committed
71dd623
docs: clarify runner rationale for non-DevContainer users
AlexanderLanin
committed
3e47c33
fix: restore correct shellcheck version in tools/README.md
AlexanderLanin
committed
141a75c
refactor: move tool descriptions from sync_readme.py into lockfiles
AlexanderLanin
committed
bd2a0f8
merge: update from upstream main
AlexanderLanin
committed
0c0cb4f
merge: update feature branch
AlexanderLanin
committed
3031b55
merge: update from upstream main
AlexanderLanin
committed
41182fe
refactor: remove obsolete archive installer branch
AlexanderLanin
committed
7189b15