Skip to content
This repository was archived by the owner on Nov 3, 2025. It is now read-only.

Comments

Remove discord from project docs#1233

Merged
lopopolo merged 1 commit intotrunkfrom
dev/lopopolo-no-more-discord
Nov 3, 2025
Merged

Remove discord from project docs#1233
lopopolo merged 1 commit intotrunkfrom
dev/lopopolo-no-more-discord

Conversation

@lopopolo
Copy link
Member

@lopopolo lopopolo commented Nov 3, 2025

No description provided.

@lopopolo lopopolo added C-docs Category: Improvements or additions to documentation. A-webapp Area: Web frontend for the playground. A-project Area: Infrastructure for running an open source project. labels Nov 3, 2025
@lopopolo lopopolo merged commit d6ca4d3 into trunk Nov 3, 2025
16 of 17 checks passed
@lopopolo lopopolo deleted the dev/lopopolo-no-more-discord branch November 3, 2025 02:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A-project Area: Infrastructure for running an open source project. A-webapp Area: Web frontend for the playground. C-docs Category: Improvements or additions to documentation.

Development

Successfully merging this pull request may close these issues.

1 participant