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

added my github username to the maintainers list #956

Merged
merged 2 commits into from
Oct 13, 2022
Merged

added my github username to the maintainers list #956

merged 2 commits into from
Oct 13, 2022

Conversation

Chibukach
Copy link
Contributor

No description provided.

@github-actions
Copy link

@tdg5 @markurtz @kylesayrs assigned for review

tdg5
tdg5 previously approved these changes Aug 3, 2022
horheynm
horheynm previously approved these changes Aug 3, 2022
Copy link
Contributor

@bfineran bfineran left a comment

Choose a reason for hiding this comment

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

quick request. - let's get the username in a # comment in the file so you won't be added to the review selector

tdg5
tdg5 previously approved these changes Aug 4, 2022
bfineran
bfineran previously approved these changes Aug 4, 2022
@bfineran bfineran dismissed stale reviews from tdg5 and themself via be98324 October 13, 2022 15:04
@bfineran bfineran merged commit c0d7cdc into main Oct 13, 2022
@bfineran bfineran deleted the newjoiner branch October 13, 2022 15:05
KSGulin pushed a commit that referenced this pull request Oct 24, 2022
Co-authored-by: Chibu Ukachi <chibu@neuralmagic.com>
Co-authored-by: Benjamin Fineran <bfineran@users.noreply.github.com>
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.

4 participants