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): use rebase+merge queue #7592

Merged
merged 1 commit into from
Aug 30, 2021
Merged

Conversation

fgaz
Copy link
Member

@fgaz fgaz commented Aug 28, 2021

This change has been made by @fgaz from https://mergify.io config editor.


actions/merge/strict is deprecated, so I switched it to merge queues.

I also changed the merge method from squash to rebase+merge, for a clean history (provided prs are clean too), which I think was the original intent behind the introduction of this bot. Opinions? Maybe there should be both this and a "squash+merge me" label for squashable atomic prs so that we don't have to ask the author to do it when it's necessary?
edit: added the squash strategy too

@fgaz fgaz changed the title ci(Mergify): configuration update ci(Mergify): use rebase+merge queue Aug 28, 2021
* use queues
* rebase+merge strategy
* merge+squash strategy

Signed-off-by: Francesco Gazzetta <fgaz@fgaz.me>
@fgaz fgaz force-pushed the mergify/fgaz/config-update branch from ba92d9d to 95a8f25 Compare August 29, 2021 19:44
@Mikolaj
Copy link
Member

Mikolaj commented Aug 30, 2021

Huh, apparently CI failed, but no individual check is red so I could see the failure log...

@fgaz
Copy link
Member Author

fgaz commented Aug 30, 2021

Apparently one of them was canceled:

24 successful and 1 cancelled checks

MacOS / validate.sh macos ghc-8.6.5 (pull_request) Cancelled after 38m

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

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

Judging by the description, makes sense.

@fgaz fgaz requested a review from emilypi August 30, 2021 14:41
@fgaz
Copy link
Member Author

fgaz commented Aug 30, 2021

Great! I'm force-merging since the failure is spurious

@fgaz fgaz merged commit bd4d1d9 into master Aug 30, 2021
@fgaz fgaz deleted the mergify/fgaz/config-update branch August 30, 2021 21:23
@jneira jneira mentioned this pull request Feb 21, 2022
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants