Skip to content

Conversation

jglick
Copy link
Contributor

@jglick jglick commented Mar 1, 2023

Did not seem to be considered in #170.

Copy link
Member

@rkmathi rkmathi left a comment

Choose a reason for hiding this comment

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

Thank you!😃

@rkmathi
Copy link
Member

rkmathi commented Mar 1, 2023

@superbrothers
This PR looks similar to #193.
Could you please tell me how to merge it? 🙇

@tksm
Copy link
Contributor

tksm commented Mar 2, 2023

@rkmathi @superbrothers #241 probably will fix the problem that we cannot merge PRs that only change README.md.

@rkmathi
Copy link
Member

rkmathi commented Mar 2, 2023

@tksm Thank you!! 😄

@rkmathi rkmathi merged commit 24c8716 into stern:master Mar 2, 2023
@jglick jglick deleted the patch-1 branch March 2, 2023 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants