REPOS.md's routing row names marola-app's docker.yml, which app#110 folds into ci.yml #855

What

marola-dev/marola-app#110 (merged as marola-dev/marola-app#128) moved the image jobs (jvm, native, dev) from docker.yml into ci.yml and deleted docker.yml. The generated wiring block in docs/2-Building-marola/REPOS.md already follows (the image's publisher is marola-app ci.yml (on a push to main)), but the hand-written routing row for marola-app (REPOS.md:31) still lists docker.yml among its workflows.

The pointer sync also dropped the pin-bump row marola-app corpus.version | docker.yml: wiring.py reads pin triggers from on.push.paths, and ci.yml has none (its changes job filters paths instead). Decide whether that row matters; if it does, a marola-devkit change could read the changes job's filter, filed there.

Acceptance criteria

• REPOS.md row 31 names no deleted workflow
• just quality (wiring --check, docs-lint) and the PR's docs-build are green

Named test

just quality; git grep -n 'docker\.yml' docs/2-Building-marola/REPOS.md lists no marola-app row.

Follow-up to marola-dev/marola-app#110. Parent: #787.