Skip to content

DevHub publishing pull request#578

Merged
mkernohanbc merged 1 commit into
mainfrom
DevHub-publishing-pr-branch
Dec 9, 2025
Merged

DevHub publishing pull request#578
mkernohanbc merged 1 commit into
mainfrom
DevHub-publishing-pr-branch

Conversation

@mkernohanbc
Copy link
Copy Markdown
Contributor

This pull request will add the files required to publish documentation on DevHub

@mkernohanbc mkernohanbc added the Maintenance Housekeeping and admin label Dec 8, 2025
@mkernohanbc mkernohanbc self-assigned this Dec 8, 2025
Copy link
Copy Markdown
Contributor

@Supriya-Arora Supriya-Arora left a comment

Choose a reason for hiding this comment

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

Looks good to merge.

@mkernohanbc mkernohanbc merged commit 27b40af into main Dec 9, 2025
4 checks passed
@mkernohanbc mkernohanbc deleted the DevHub-publishing-pr-branch branch December 17, 2025 20:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Maintenance Housekeeping and admin

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants