Conversation
|
SGTM but I'll hold off to give an official maintainer or Hughes themselves to approve :-) |
672f469 to
6e8b934
Compare
MikeMcC399
left a comment
There was a problem hiding this comment.
This seems to have slipped through the cracks when the governance was revised.
It makes absolute sense to move Hugues to Emeritus!
|
It seems unlikely that there will be any objections to this change, as the user has been completely inactive in GitHub now for 2 years. Officially nominated "Maintainers" are not being active here in their role of membership managers, and this proposal is not one that would warrant escalation to TSC, so I'm merging it to clear the decks slightly of the batch of on-going membership admin cleanups. |
This comment was marked as resolved.
This comment was marked as resolved.
Done |
Description
Fixes #2460.
Motivation and Context
As noted in the issue, the GitHub account appears to be dormant for some time.
Testing Details
Example Output(if appropriate)
Types of changes
Checklist