Skip to content
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

[8.8](backport #3601) Update and rename doc-preview.yml to docs-preview.yml #3786

Merged
merged 1 commit into from
Apr 15, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Apr 15, 2024

Move away from our own custom implementation of commenting on PRs to the shared implementation.


This is an automatic backport of pull request #3601 done by Mergify.

(cherry picked from commit f3daba8)

# Conflicts:
#	.github/workflows/doc-preview.yml
@mergify mergify bot added backport conflicts There is a conflict in the backported pull request labels Apr 15, 2024
Copy link
Contributor Author

mergify bot commented Apr 15, 2024

Cherry-pick of f3daba8 has failed:

On branch mergify/bp/8.8/pr-3601
Your branch is up to date with 'origin/8.8'.

You are currently cherry-picking commit f3daba86.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
	new file:   .github/workflows/docs-preview.yml

Unmerged paths:
  (use "git add/rm <file>..." as appropriate to mark resolution)
	deleted by them: .github/workflows/doc-preview.yml

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@bmorelli25 bmorelli25 enabled auto-merge (squash) April 15, 2024 17:08
@bmorelli25 bmorelli25 merged commit 97277da into 8.8 Apr 15, 2024
9 checks passed
@bmorelli25 bmorelli25 deleted the mergify/bp/8.8/pr-3601 branch April 15, 2024 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport conflicts There is a conflict in the backported pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant