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

Move Eric Arellano to emeritus #21088

Merged
merged 1 commit into from
Jun 19, 2024
Merged

Conversation

Eric-Arellano
Copy link
Contributor

No description provided.

@Eric-Arellano Eric-Arellano requested a review from benjyw June 19, 2024 12:20
@Eric-Arellano Eric-Arellano added the release-notes:not-required PR doesn't require mention in release notes label Jun 19, 2024
@Eric-Arellano
Copy link
Contributor Author

@benjyw I couldn't figure out how to update https://www.pantsbuild.org/community/maintainers - I don't see it in the docs/ folder. Could you also please help with updating GitHub groups?

Thanks for the solid run! If possible, I'd still like to stay in the maintainers Slack group and feel free to ping me on relevant things.

@Eric-Arellano Eric-Arellano added the category:internal CI, fixes for not-yet-released features, etc. label Jun 19, 2024
Copy link
Member

@cognifloyd cognifloyd left a comment

Choose a reason for hiding this comment

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

😢

@Eric-Arellano Eric-Arellano merged commit d3dcd89 into pantsbuild:main Jun 19, 2024
25 checks passed
@Eric-Arellano Eric-Arellano deleted the EA/rm-eric branch June 19, 2024 19:09
@benjyw
Copy link
Contributor

benjyw commented Jun 20, 2024

🫡

@benjyw
Copy link
Contributor

benjyw commented Jun 20, 2024

Removed you from Maintainers on GitHub but added you to Contributors, just in case.

It's been a hell of a run!

@benjyw
Copy link
Contributor

benjyw commented Jun 20, 2024

Thanks for all your outstanding contributions over the years.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:internal CI, fixes for not-yet-released features, etc. release-notes:not-required PR doesn't require mention in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants