Skip to content

Conversation

torgo
Copy link
Contributor

@torgo torgo commented Jun 4, 2024

Add an invitation to open issues to the regexp summary doc

Add an invitation to open issues to the regexp summary doc

Signed-off-by: Daniel Appelquist <[email protected]>
Copy link
Member

@ctcpip ctcpip left a comment

Choose a reason for hiding this comment

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

LGTM; also added a suggestion of possible rewording

Co-authored-by: Chris de Almeida <[email protected]>
Signed-off-by: Daniel Appelquist <[email protected]>
@torgo
Copy link
Contributor Author

torgo commented Jun 7, 2024

LGTM; also added a suggestion of possible rewording

Thanks for that @ctcpip. I've accepted the suggestion and also edited #523 to match,

@gkunz
Copy link
Contributor

gkunz commented Dec 3, 2024

Hi @torgo! Are you still interested in getting this in? I support the idea but would ask for incorporating @david-a-wheeler's suggestion.

@torgo
Copy link
Contributor Author

torgo commented Dec 17, 2024

Amended to reflect @david-a-wheeler's request. On that basis, and the basis of our discussion in today's call, I think this can be merged.

@david-a-wheeler
Copy link
Contributor

Looks great, but we had a merge conflict. I fixed it in the way I think it was intended.

@david-a-wheeler
Copy link
Contributor

@torgo thanks so much! Let's just merge!

@david-a-wheeler david-a-wheeler merged commit 5316e58 into main Dec 17, 2024
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants