Skip to content

Update docs to use zensical#194

Merged
facelessuser merged 2 commits intomasterfrom
chore/docs-zensical
Nov 15, 2025
Merged

Update docs to use zensical#194
facelessuser merged 2 commits intomasterfrom
chore/docs-zensical

Conversation

@facelessuser
Copy link
Copy Markdown
Owner

No description provided.

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: infrastructure Related to project infrastructure. labels Nov 15, 2025
@facelessuser
Copy link
Copy Markdown
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Nov 15, 2025
@facelessuser facelessuser merged commit 30c2812 into master Nov 15, 2025
18 checks passed
@facelessuser facelessuser deleted the chore/docs-zensical branch November 15, 2025 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: docs Related to documentation. C: infrastructure Related to project infrastructure. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants