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.