Skip to content

add/ignore-file#2292

Merged
Micha Hobert (Isengo1989) merged 2 commits into
mainfrom
add/docsignore-file
May 20, 2026
Merged

add/ignore-file#2292
Micha Hobert (Isengo1989) merged 2 commits into
mainfrom
add/docsignore-file

Conversation

@Isengo1989
Copy link
Copy Markdown
Contributor

@Isengo1989 Micha Hobert (Isengo1989) commented May 19, 2026

Summary

General-purpose file to lead the docs watcher and set borders on what to check and what to ignore

Related links

Checklist

  • I reviewed affected links, code samples, and cross-references, including PageRef references where relevant.
  • I added or updated redirects in .gitbook.yaml if pages were moved, renamed, or deleted.
  • I updated .wordlist.txt (and sorted it) if spellcheck flags new legitimate terms.
  • Any required dependent changes in downstream modules have already been merged and published.
  • This pull request is ready for review.

Notes

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a repository-level documentation analysis ignore file to exclude certain files/directories from automated documentation tooling (similarity search, affected-doc lists, and automated doc update/mention workflows).

Changes:

  • Introduces a new .docsignore file with ignore patterns for common non-doc artifacts (build outputs, IDE files, logs, etc.).
  • Adds ignore entries for ADR content and other documentation subtrees.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .docsignore Outdated
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@Isengo1989 Micha Hobert (Isengo1989) merged commit 8b1d41f into main May 20, 2026
8 checks passed
@Isengo1989 Micha Hobert (Isengo1989) deleted the add/docsignore-file branch May 20, 2026 06:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants