Skip to content

Conversation

andreabedini
Copy link
Collaborator

@andreabedini andreabedini commented Apr 4, 2022

Replaces #7534.

Todo

  • figure out the changes to the bootstrap plans.

Please include the following checklist in your PR:

Please also shortly describe how you tested your change. Bonus points for added tests!

@jneira jneira linked an issue Apr 4, 2022 that may be closed by this pull request
@andreabedini andreabedini requested a review from Mikolaj April 5, 2022 02:46
@andreabedini andreabedini marked this pull request as ready for review April 5, 2022 02:46
@andreabedini
Copy link
Collaborator Author

@Mikolaj can you have a look? Do I need to update the bootstrap files?

@jneira
Copy link
Member

jneira commented Apr 5, 2022

many thanks for the cleaning up, love the +42−1,253

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.

Great job. No, I think it's enough if we update the bootstrap files before release (or earlier on request). That's in (an old portion of) the release checklist at https://github.com/haskell/cabal/wiki/Making-a-release

@robx robx mentioned this pull request Apr 5, 2022
3 tasks
Copy link
Collaborator

@robx robx left a comment

Choose a reason for hiding this comment

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

Changes look good to me, and I like that this is a bit more limited in scope than #7534.

(Can't really speak to the backwards compatibility implications.)

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Apr 6, 2022
@andreabedini andreabedini force-pushed the andrea/ghc-death-panel branch from 2fde8c7 to 891af7e Compare April 6, 2022 15:07
@mergify mergify bot merged commit f72c86e into master Apr 6, 2022
@Mikolaj Mikolaj mentioned this pull request Apr 7, 2022
3 tasks
@andreabedini andreabedini deleted the andrea/ghc-death-panel branch April 23, 2022 04:05
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Oct 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
continuous-integration merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

RFC: Dropping build support for GHC < 8
4 participants