Skip to content

fix dry-run logic for docs PR #8262

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Sep 11, 2025
Merged

fix dry-run logic for docs PR #8262

merged 1 commit into from
Sep 11, 2025

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Sep 11, 2025

Proposed changes

  • fix dry-run logic for docs PR as its true by default

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@github-actions github-actions bot requested a review from a team as a code owner September 11, 2025 15:58
@github-actions github-actions bot added chore Pull requests for routine tasks github_actions Pull requests that update Github_actions code needs cherry pick Cherry pick this PR into a release branch labels Sep 11, 2025
@vepatel vepatel changed the title [cherry-pick] fix dry-run logic for docs PR fix dry-run logic for docs PR Sep 11, 2025
@vepatel vepatel closed this Sep 11, 2025
@vepatel vepatel reopened this Sep 11, 2025
@github-actions github-actions bot removed the chore Pull requests for routine tasks label Sep 11, 2025
@vepatel vepatel enabled auto-merge (squash) September 11, 2025 15:58
@vepatel vepatel merged commit 409c190 into release-5.2 Sep 11, 2025
22 checks passed
@vepatel vepatel deleted the cherry-pick-release-5.2-4fa5fa1f77d24a853c56b8617dc8ac580033054c branch September 11, 2025 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@vepatel vepatel vepatel approved these changes

@AlexFenlon AlexFenlon AlexFenlon approved these changes

@pdabelf5 pdabelf5 pdabelf5 approved these changes

Assignees

No one assigned

Labels

github_actions Pull requests that update Github_actions code needs cherry pick Cherry pick this PR into a release branch

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@vepatel @AlexFenlon @pdabelf5