Skip to content

chore: switch to docs.zizmor.sh - #769

Merged
woodruffw merged 2 commits into
mainfrom
ww/domain
May 9, 2025
Merged

chore: switch to docs.zizmor.sh#769
woodruffw merged 2 commits into
mainfrom
ww/domain

Conversation

@woodruffw

Copy link
Copy Markdown
Member

Part of #758.

@woodruffw woodruffw added this to the 1.8.0 milestone May 9, 2025
@woodruffw woodruffw self-assigned this May 9, 2025
@woodruffw woodruffw added the chore Repository maintenance tasks label May 9, 2025
@woodruffw
woodruffw enabled auto-merge (squash) May 9, 2025 04:53
@woodruffw
woodruffw merged commit b5fc7c1 into main May 9, 2025
@woodruffw
woodruffw deleted the ww/domain branch May 9, 2025 04:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Repository maintenance tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant