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 @rvagg as a FIP editor #1053

Merged
merged 1 commit into from
Sep 5, 2024
Merged

Add @rvagg as a FIP editor #1053

merged 1 commit into from
Sep 5, 2024

Conversation

anorth
Copy link
Member

@anorth anorth commented Sep 2, 2024

I propose @rvagg to be added as as a FIP editor, to increase our numbers a little with an experienced technical expert, especially while we are considering removing editors who have ceased contributing.

@rvagg is already a frequent contributor to FIP discussions and PR review, and I think we can recognize this and gain some more responsiveness on the administrivia by adding him to the crew.

Note to others: we'd still like to add more, especially from outside FilOz. Rod sets a good example of the type of engagement that would encourage us all to want you as a colleague.

Initially proposed in Slack here.

Editors: please leave this PR open for some time after the first two approvals so all current editors have a reasonable chance to comment.

@momack2
Copy link
Contributor

momack2 commented Sep 3, 2024

I’m supportive! 👍

Copy link
Member

@jsoares jsoares left a comment

Choose a reason for hiding this comment

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

Very supporting, almost a de facto recognition.

@jsoares
Copy link
Member

jsoares commented Sep 3, 2024

Although not blocking to merging this, we should probably reach a resolution on https://github.com/filecoin-project/FIPs/pull/991/files too, as part of the broader maintenance of the editor list.

@jennijuju jennijuju merged commit 3724eea into master Sep 5, 2024
1 check passed
@jennijuju jennijuju deleted the anorth/rvagg-editor branch September 5, 2024 20:04
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