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

[docs] Fixing duplicated start of code block #149

Merged
merged 1 commit into from
Oct 19, 2023
Merged

[docs] Fixing duplicated start of code block #149

merged 1 commit into from
Oct 19, 2023

Conversation

spier
Copy link
Contributor

@spier spier commented Oct 18, 2023

Fixes duplicated start of code block, introduced by #145 .

Proposed Changes

Readiness Checklist

Author/Contributor

  • If documentation is needed for this change, has that been included in this pull request
  • run make lint and fix any issues that you have introduced
  • run make test and ensure you have test coverage for the lines you are introducing

Reviewer

  • Label as either bug, documentation, enhancement, infrastructure, or breaking

@spier spier requested a review from zkoppert as a code owner October 18, 2023 21:54
@Okabe-Junya
Copy link
Contributor

Thank you for creating the bugfix PR!! That was an oversight on my part. I appreciate you catching that!!

@zkoppert zkoppert added the documentation Improvements or additions to documentation label Oct 19, 2023
@zkoppert zkoppert merged commit c2b59a5 into github:main Oct 19, 2023
5 checks passed
@spier spier deleted the patch-1 branch October 23, 2023 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zkoppert zkoppert zkoppert approved these changes

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@spier @Okabe-Junya @zkoppert