Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Apr 15, 2023

Copy link
Member

@CAM-Gerlach CAM-Gerlach left a comment

Choose a reason for hiding this comment

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

One comment of a corresponding change to consider to the label description, otherwise LGTM from me, thanks

Co-authored-by: C.A.M. Gerlach <[email protected]>
Copy link
Member

@CAM-Gerlach CAM-Gerlach left a comment

Choose a reason for hiding this comment

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

LGTM from me, FWIW, thanks

@hugovk hugovk marked this pull request as ready for review April 17, 2023 03:15
@hugovk hugovk merged commit 4d5e7d4 into python:main Apr 17, 2023
@hugovk hugovk deleted the rename-expert-labels-to-topic-labels branch April 17, 2023 10:04
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.

5 participants