Skip to content

Conversation

@juleswritescode
Copy link
Collaborator

@juleswritescode juleswritescode commented Jul 19, 2025

we'll have to deploy to see if this actually works – using mike serve apparently doesn't deploy the local docs/ directory, but uses a git branch.

@psteinroe psteinroe merged commit be2cd02 into main Jul 22, 2025
7 checks passed
@juleswritescode juleswritescode deleted the docs/rule-links branch October 28, 2025 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants