Skip to content

docs: fix dev changes publish on push to master #9190

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 16, 2025
Merged

Conversation

nopcoder
Copy link
Contributor

No description provided.

@nopcoder nopcoder requested a review from ozkatz June 16, 2025 18:30
@nopcoder nopcoder self-assigned this Jun 16, 2025
@nopcoder nopcoder added docs Improvements or additions to documentation exclude-changelog PR description should not be included in next release changelog minor-change Used for PRs that don't require issue attached labels Jun 16, 2025
@nopcoder nopcoder enabled auto-merge (squash) June 16, 2025 18:30
Copy link
Collaborator

@ozkatz ozkatz left a comment

Choose a reason for hiding this comment

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

oops! thanks

@nopcoder
Copy link
Contributor Author

oops! thanks

my bad

@nopcoder nopcoder disabled auto-merge June 16, 2025 18:39
@nopcoder nopcoder merged commit b0d45b0 into master Jun 16, 2025
47 checks passed
@nopcoder nopcoder deleted the docs/fix-docs-dev branch June 16, 2025 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Improvements or additions to documentation exclude-changelog PR description should not be included in next release changelog minor-change Used for PRs that don't require issue attached
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants