Skip to content

Mention un-skip option in docs#1131

Open
gandie wants to merge 2 commits into
DeusData:mainfrom
gandie:docs/mention-ignore-opt-in
Open

Mention un-skip option in docs#1131
gandie wants to merge 2 commits into
DeusData:mainfrom
gandie:docs/mention-ignore-opt-in

Conversation

@gandie

@gandie gandie commented Jul 16, 2026

Copy link
Copy Markdown

What does this PR do?

Short update of .cbmignore docs to make unskip option more discoverable.

Checklist

  • Every commit is signed off (git commit -s) — required, CI rejects
    unsigned commits (DCO, see CONTRIBUTING.md)
  • Tests pass locally (make -f Makefile.cbm test) -> skipped, only docs
  • Lint passes (make -f Makefile.cbm lint-ci) -> skipped, only docs
  • New behavior is covered by a test (reproduce-first for bug fixes) -> skipped, only docs

Signed-off-by: Lars Bergmann <L.Bergmann@mittwald.de>
@gandie
gandie requested a review from DeusData as a code owner July 16, 2026 11:57
@DeusData DeusData added documentation Improvements or additions to documentation ux/behavior Display bugs, docs, adoption UX priority/normal Standard review queue; useful PR with ordinary maintainer urgency. labels Jul 16, 2026
@DeusData DeusData added this to the 0.9.2-rc milestone Jul 16, 2026
@DeusData

Copy link
Copy Markdown
Owner

Thanks for correcting the stale .cbmignore documentation and making the existing un-skip behavior discoverable. The exact head is security-clean, DCO-compliant, and CI is green.

One wording contradiction remains: the precedence introduction says “the first layer that rejects a path wins,” while the new section correctly explains that .cbmignore can override an ordinary built-in skip. Please qualify the opening rule with the documented .cbmignore exception. The implementation description and protected safety-core list otherwise match current behavior.

Signed-off-by: Lars Bergmann <L.Bergmann@mittwald.de>
@gandie
gandie force-pushed the docs/mention-ignore-opt-in branch from 598c566 to 45c9b62 Compare July 17, 2026 06:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation priority/normal Standard review queue; useful PR with ordinary maintainer urgency. ux/behavior Display bugs, docs, adoption UX

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants