Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Expose shake options used #1209

Merged
merged 3 commits into from
Jan 14, 2021
Merged

Expose shake options used #1209

merged 3 commits into from
Jan 14, 2021

Conversation

pepeiborra
Copy link
Collaborator

So that clients of Ghcide-the-library can change them at will.

I need this at work, so including a version bump - will upload to Hackage as soon as it lands

@pepeiborra pepeiborra requested a review from jneira January 14, 2021 17:43
@pepeiborra pepeiborra force-pushed the overrideRules branch 2 times, most recently from 3eac11b to 2e667fe Compare January 14, 2021 18:38
Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

LGTM!

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Jan 14, 2021
@mergify mergify bot merged commit 5578b8f into master Jan 14, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants