Skip to content

Fix wrong Server category in dev docs#242

Merged
AlexAndBear merged 1 commit intomainfrom
fix-wrong-server-name
Apr 15, 2025
Merged

Fix wrong Server category in dev docs#242
AlexAndBear merged 1 commit intomainfrom
fix-wrong-server-name

Conversation

@AlexAndBear
Copy link
Copy Markdown
Member

@AlexAndBear AlexAndBear commented Apr 15, 2025

No description provided.

@AlexAndBear AlexAndBear requested review from Copilot and micbar April 15, 2025 16:34
Copilot AI reviewed Apr 15, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot reviewed 2 out of 4 changed files in this pull request and generated no comments.

Files not reviewed (2)
  • docs/dev/server/category.json: Language not supported
  • docs/dev/web/embed-mode/category.json: Language not supported

@AlexAndBear AlexAndBear merged commit 76ca34f into main Apr 15, 2025
1 check passed
@AlexAndBear AlexAndBear deleted the fix-wrong-server-name branch April 15, 2025 16:37
@openclouders openclouders mentioned this pull request Apr 15, 2025
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Copilot code review Copilot Copilot left review comments

@micbar micbar micbar approved these changes

Assignees

No one assigned

Labels

Docs:Developer Type:Bug

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@AlexAndBear @micbar