chore(contributing): guard the duplicated CI-gate paragraph and ignore .devcontainer - #663

Merged

cevheri merged 3 commits into

libredb:mainfrom

7487:fix/661-dockerignore-devcontainer-and-ci-gate-guard

Sep 8, 2026

Commits on Sep 8, 2026

chore(contributing): guard the duplicated CI-gate paragraph and ignore .devcontainer

7487
and
claude
committed
2b95d58
test(contributing): compare the CI-gate paragraph on wording, not layout

7487
and
claude
committed
b5faead
test(contributing): compare the two paragraphs, not the whole file
cevheri
committed
091c748