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

ci(mergify): upgrade configuration to current format #86

Merged
merged 1 commit into from
Dec 6, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Dec 4, 2024

No more deprecated fields are being used in your Mergify configuration, this pull request will be closed.

@mergify mergify bot force-pushed the mergify/configuration-deprecated-update branch from 27044da to 758bd5c Compare December 4, 2024 13:31
@Mic92
Copy link
Member

Mic92 commented Dec 6, 2024

@mergify refresh

@Mic92
Copy link
Member

Mic92 commented Dec 6, 2024

@mergify rebase

Copy link
Contributor Author

mergify bot commented Dec 6, 2024

refresh

✅ Pull request refreshed

Copy link
Contributor Author

mergify bot commented Dec 6, 2024

rebase

✅ Branch has been successfully rebased

@Mic92 Mic92 force-pushed the mergify/configuration-deprecated-update branch from 758bd5c to d72cf23 Compare December 6, 2024 18:21
@Mic92 Mic92 force-pushed the mergify/configuration-deprecated-update branch from d72cf23 to d3d5b04 Compare December 6, 2024 18:23
@Mic92
Copy link
Member

Mic92 commented Dec 6, 2024

@mergify queue

Copy link
Contributor Author

mergify bot commented Dec 6, 2024

queue

🛑 The pull request has been removed from the queue default

The pull request #86 has been manually updated.

You can take a look at Queue: Embarked in merge queue check runs for more details.

In case of a failure due to a flaky test, you should first retrigger the CI.
Then, re-embark the pull request into the merge queue by posting the comment
@mergifyio refresh on the pull request.

@Mic92
Copy link
Member

Mic92 commented Dec 6, 2024

@mergify queue

Copy link
Contributor Author

mergify bot commented Dec 6, 2024

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 3883b53

@mergify mergify bot merged commit 3883b53 into master Dec 6, 2024
5 checks passed
@Mic92 Mic92 deleted the mergify/configuration-deprecated-update branch December 6, 2024 18: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.

1 participant