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

Adding robsears to CODEOWNERS #36

Closed
wants to merge 2 commits into from
Closed

Conversation

dtaivpp
Copy link
Contributor

@dtaivpp dtaivpp commented Dec 11, 2023

Description

Adding robsears to CODEOWNERS

Issues Resolved

N/A

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
For more information on following Developer Certificate of Origin and signing off your commits, please check here.

Signed-off-by: David Tippett <[email protected]>
Copy link
Member

@dblock dblock left a comment

Choose a reason for hiding this comment

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

@dtaivpp Looks like @robsears hasn't been active, and his permissions were revoked for inactivity - will you email him on whether he wants to stay as a maintainer, or be moved to emeritus (in which case the change should be made in MAINTAINERS) - and let's do that in a week or so if we don't hear back?

@dtaivpp
Copy link
Contributor Author

dtaivpp commented Dec 11, 2023

I'll reach out

@dblock
Copy link
Member

dblock commented Jan 4, 2024

@dtaivpp Did you hear back?

Removing robsears as we will move him to Emeritus

Signed-off-by: David Tippett <[email protected]>
@dtaivpp
Copy link
Contributor Author

dtaivpp commented Jan 18, 2024

Yes, he is not able to continue for now so lets move him to emeritus.

@dtaivpp
Copy link
Contributor Author

dtaivpp commented Jan 18, 2024

Removed him but otherwise updated the file.

@dblock dblock mentioned this pull request Jan 18, 2024
@dblock
Copy link
Member

dblock commented Jan 18, 2024

Superseded with #37.

@dblock dblock closed this Jan 18, 2024
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.

3 participants