Skip to content

chore: remove tracked docs/ files#96

Merged
sofq merged 1 commit intomainfrom
chore/untrack-docs
Mar 30, 2026
Merged

chore: remove tracked docs/ files#96
sofq merged 1 commit intomainfrom
chore/untrack-docs

Conversation

@sofq
Copy link
Copy Markdown
Owner

@sofq sofq commented Mar 30, 2026

Summary

  • Remove two files under docs/ that were still tracked despite docs/ being in .gitignore

docs/ is already in .gitignore but two files were still tracked.
@sofq sofq merged commit 6af2310 into main Mar 30, 2026
12 checks passed
@sofq sofq deleted the chore/untrack-docs branch March 30, 2026 16:06
@codecov
Copy link
Copy Markdown

codecov bot commented Mar 30, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

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.

1 participant