Skip to content

Bump cabal-bootstrap-gen to GHC 9.4.4 ecosystem (backport #8720)#8774

Merged
mergify[bot] merged 1 commit into3.10from
mergify/bp/3.10/pr-8720
Feb 21, 2023
Merged

Bump cabal-bootstrap-gen to GHC 9.4.4 ecosystem (backport #8720)#8774
mergify[bot] merged 1 commit into3.10from
mergify/bp/3.10/pr-8720

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Feb 16, 2023 •
edited by Mikolaj
Loading

@Mikolaj says: am I right we should backport this? Ideally we'd let people bootstrap with 9.6, in case it supports new platforms, but realistically previous stable GHC is already something and worth the risk of breakage in semi-code-freeze, isn't it?

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

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

@mergify mergify Bot mentioned this pull request Feb 16, 2023
Merged
3 tasks
@mergify mergify Bot added the backport label Feb 16, 2023
@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Feb 16, 2023
@nmeum
Copy link
Copy Markdown
Collaborator

nmeum commented Feb 21, 2023

@Mergifyio rebase

@mergify
Copy link
Copy Markdown
Contributor Author

mergify Bot commented Feb 21, 2023

rebase

❌ Command disallowed due to command restrictions in the Mergify configuration.

Details
  • any of:
    • sender-permission>=write
    • sender={{author}}

@Mikolaj
Copy link
Copy Markdown
Member

Mikolaj commented Feb 21, 2023

@Mergifyio rebase

@nmeum @mergify
Bump cabal-bootstrap-gen to GHC 9.4.4 ecosystem
cd3113b 
I updated the dependencies in the .cabal bootstrap file and
sightly adjusted src/Main.hs for the `I.riCabal → I.riCabalHash`
change.

Fixes #8613

(cherry picked from commit 2de1fdc)
@mergify
Copy link
Copy Markdown
Contributor Author

mergify Bot commented Feb 21, 2023

⚠️ This pull request got rebased on behalf of a random user of the organization.
This behavior will change on the 1st February 2023, Mergify will pick the author of the pull request instead.

To get the future behavior now, you can configure bot_account options (e.g.: bot_account: { author } or update_bot_account: { author }.

Or you can create a dedicated github account for squash and rebase operations, and use it in different bot_account options.

@mergify
Copy link
Copy Markdown
Contributor Author

mergify Bot commented Feb 21, 2023

rebase

✅ Branch has been successfully rebased

@cocreature cocreature force-pushed the mergify/bp/3.10/pr-8720 branch from a7d5245 to cd3113b Compare February 21, 2023 17:01
Mikolaj
Mikolaj approved these changes Feb 21, 2023
View reviewed changes
Copy link
Copy Markdown
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.

Nobody reviewed positively nor negatively, so let me review myself. LGTM.

@Mikolaj
Copy link
Copy Markdown
Member

Mikolaj commented Feb 21, 2023

@nmeum: it rejected your rebase possibly because it's not your commit and you are not a repo admin. I'm not sure. Thank you for reminding me of this one --- I waited for a backport review, but none came.

@mergify mergify Bot merged commit f5430a9 into 3.10 Feb 21, 2023
@mergify mergify Bot deleted the mergify/bp/3.10/pr-8720 branch February 21, 2023 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Mikolaj Mikolaj Mikolaj approved these changes

Assignees

No one assigned

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@nmeum @Mikolaj