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

Support running piped Markdown sources #1582

Merged
merged 2 commits into from
Nov 16, 2022
Merged

Support running piped Markdown sources #1582

merged 2 commits into from
Nov 16, 2022

Conversation

Gedochao
Copy link
Contributor

@Gedochao Gedochao commented Nov 15, 2022 •
edited
Loading

Fixes #1515
Depends on #1581

@Gedochao Gedochao marked this pull request as ready for review November 15, 2022 15:02
@Gedochao Gedochao mentioned this pull request Nov 16, 2022
Merged
wleczny
wleczny approved these changes Nov 16, 2022
View reviewed changes
Copy link
Contributor

@wleczny wleczny left a comment

Choose a reason for hiding this comment

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

LGTM

@Gedochao Gedochao merged commit d1bda7d into VirtusLab:main Nov 16, 2022
@Gedochao Gedochao deleted the run-piped-md branch November 16, 2022 09:52
@Gedochao Gedochao added the enhancement New feature or request label Nov 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wleczny wleczny wleczny approved these changes

@lwronski lwronski Awaiting requested review from lwronski

@alexarchambault alexarchambault Awaiting requested review from alexarchambault

Assignees
No one assigned
Labels
enhancement New feature or request markdown
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Support running piped .md files
2 participants
@Gedochao @wleczny