Skip to content

Move docs to repository root#871

Merged
MikeMcQuaid merged 1 commit intomainfrom
docs_to_root
Jun 11, 2025
Merged

Move docs to repository root#871
MikeMcQuaid merged 1 commit intomainfrom
docs_to_root

Conversation

@MikeMcQuaid
Copy link
Member

This eases some syncing logic in Homebrew/.github.

This eases some syncing logic in Homebrew/.github.
Copy link
Member

@woodruffw woodruffw left a comment

Choose a reason for hiding this comment

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

Thanks @MikeMcQuaid!

@MikeMcQuaid MikeMcQuaid merged commit d67aa9f into main Jun 11, 2025
18 checks passed
@MikeMcQuaid MikeMcQuaid deleted the docs_to_root branch June 11, 2025 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants