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.

Sign up for GitHub

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

Jump to bottom

[FLORA-205] Enable the use of markdown extensions #236

Merged
merged 5 commits into from
Oct 8, 2022
Merged

[FLORA-205] Enable the use of markdown extensions #236

merged 5 commits into from
Oct 8, 2022

Conversation

Taneb
Copy link
Contributor

@Taneb Taneb commented Oct 8, 2022 •
edited
Loading

Proposed changes

Enable the same commonmark extensions that Hackage does

Contributor checklist

@tchoutri tchoutri changed the title Enable the use of markdown extensions [FLORA-205] Enable the use of markdown extensions Oct 8, 2022
@tchoutri tchoutri added squash+merge me Tell Mergify bot to squash and merge the PR and removed squash+merge me Tell Mergify bot to squash and merge the PR labels Oct 8, 2022
@Taneb
Copy link
Contributor Author

Taneb commented Oct 8, 2022

Before:
image
After:
image

@tchoutri tchoutri added the squash+merge me Tell Mergify bot to squash and merge the PR label Oct 8, 2022
@mergify mergify bot merged commit fc22e2b into development Oct 8, 2022
@Taneb Taneb deleted the set-commonmark-extensions branch October 8, 2022 10:10
@tchoutri tchoutri mentioned this pull request Oct 15, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tchoutri tchoutri tchoutri approved these changes

Assignees
No one assigned
Labels
squash+merge me Tell Mergify bot to squash and merge the PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Taneb @tchoutri