Skip to content

ci(Mergify): configuration update#1228

Merged
mergify[bot] merged 1 commit into
masterfrom
mergify/Centaurioun/config-update
Sep 11, 2023
Merged

ci(Mergify): configuration update#1228
mergify[bot] merged 1 commit into
masterfrom
mergify/Centaurioun/config-update

Conversation

@Centaurioun

Copy link
Copy Markdown
Owner

This change has been made by @Centaurioun from Mergify config editor.

Signed-off-by: null <null>
@Centaurioun

Copy link
Copy Markdown
Owner Author

/prbot how

@Centaurioun

Copy link
Copy Markdown
Owner Author

copilot:all

@mergify mergify Bot merged commit 0a6c356 into master Sep 11, 2023
@mergify mergify Bot deleted the mergify/Centaurioun/config-update branch September 11, 2023 18:10
@reviewpad reviewpad Bot added small Pull request is small docs infra dependencies Pull requests that update a dependency file labels Sep 11, 2023
@reviewpad

reviewpad Bot commented Sep 11, 2023

Copy link
Copy Markdown

Reviewpad Report

⚠️ Warnings

  • Please link an issue to the pull request

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file docs infra small Pull request is small

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant