chore: ignore generated vimdoc tags #28

Merged
barrettruth merged 1 commit from chore/gitignore-vimdoc-tags-20260505 into main 2026-05-05 17:52:00 +00:00
Owner

Changed files:

  • .gitignore: ignore generated doc/tags.
  • doc/tags: remove committed generated help tags.

Verification:

  • git diff --check (pass)
  • vimdoc-language-server format --check doc/ (pass)
  • vimdoc-language-server check doc/ (pass)
Changed files: - `.gitignore`: ignore generated `doc/tags`. - `doc/tags`: remove committed generated help tags. Verification: - `git diff --check` (pass) - `vimdoc-language-server format --check doc/` (pass) - `vimdoc-language-server check doc/` (pass)
chore: ignore generated vimdoc tags
All checks were successful
quality / Format (pull_request) Successful in 5s
quality / Test (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 5s
59ce2bd890
barrettruth deleted branch chore/gitignore-vimdoc-tags-20260505 2026-05-05 17:52:00 +00:00
Sign in to join this conversation.
No description provided.