chore: ignore generated vimdoc tags #37

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

Changed files:

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

Verification:

  • git diff --check: passed.
  • git diff --cached --check: passed.
  • vimdoc-language-server check doc/: passed, 0 diagnostics in 0 file(s).
Changed files: - `.gitignore`: ignore generated `doc/tags`. - `doc/tags`: remove committed generated vim help tags. Verification: - `git diff --check`: passed. - `git diff --cached --check`: passed. - `vimdoc-language-server check doc/`: passed, `0 diagnostics in 0 file(s)`.
chore: ignore generated vimdoc tags
All checks were successful
quality / Test (pull_request) Successful in 5s
quality / Format (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 5s
f6341d50c6
barrettruth deleted branch chore/gitignore-vimdoc-tags-20260505 2026-05-05 17:52:03 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
barrettruth/blink-cmp-ghostty!37
No description provided.