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.

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

Add PiotrProkop as a reviewer #1134

Closed
marquiz opened this issue Apr 14, 2023 · 6 comments · Fixed by #1140
Closed

Add PiotrProkop as a reviewer #1134

marquiz opened this issue Apr 14, 2023 · 6 comments · Fixed by #1140
Assignees
Labels
kind/feature Categorizes issue or PR as related to a new feature.

Comments

@marquiz
Copy link
Contributor

marquiz commented Apr 14, 2023

@marquiz marquiz added the kind/feature Categorizes issue or PR as related to a new feature. label Apr 14, 2023
@marquiz
Copy link
Contributor Author

marquiz commented Apr 14, 2023

@PiotrProkop
Copy link
Contributor

Thanks for the recognition!

@zvonkok
Copy link
Contributor

zvonkok commented Apr 14, 2023

/lgtm

@fmuyassarov
Copy link
Member

+1

@ArangoGutierrez
Copy link
Contributor

/lgtm

1 similar comment
@jjacobelli
Copy link
Contributor

/lgtm

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/feature Categorizes issue or PR as related to a new feature.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

7 participants