Skip to content

chore: remove WARP.md from repo and update .gitignore; update compliance report#30

Merged
mojoatomic merged 2 commits intomainfrom
chore/remove-warp-md-ignore
Oct 3, 2025
Merged

chore: remove WARP.md from repo and update .gitignore; update compliance report#30
mojoatomic merged 2 commits intomainfrom
chore/remove-warp-md-ignore

Conversation

@mojoatomic
Copy link
Copy Markdown
Owner

Removes tracked WARP.md from the repository (kept locally, ignored by git). Updates .gitignore to ensure WARP.md is never tracked. Includes the latest changes to docs/PROTOCOL-COMPLIANCE-REPORT.md.

@mojoatomic mojoatomic merged commit 3e1f565 into main Oct 3, 2025
6 checks passed
@mojoatomic mojoatomic deleted the chore/remove-warp-md-ignore branch October 3, 2025 21:40
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