Daily Documentation Updater completed with no action

Daily Documentation Updater

No documentation updates needed: GitHub read pre-flight failed with gh 401 bad credentials, so merged PRs and documentation issues could not be fetched as required. I reviewed local docs coverage for likely recent user-facing additions (for example tools.github.allowed max-calls, github-app.ignore-if-missing, repositories:["*"], disclosure-header, and threat-detection max-ai-credits) and found existing documentation in the reference set. No repository changes were made.

Generated from Daily Documentation Updater · 11.7 AIC · ⌖ 9.78 AIC · ◇ 0.898 AIC · ⊞ 10.3K · ◷