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

Deitos Network: New team member. #2127

Merged
merged 10 commits into from
Nov 28, 2023
Merged

Deitos Network: New team member. #2127

merged 10 commits into from
Nov 28, 2023

Conversation

Ernih
Copy link
Contributor

@Ernih Ernih commented Nov 28, 2023

This PR adds to the team Hector Bulgarini (@hbulgarini) as it was discussed in the application PR #2040

The rest of the application remains as it was agreed and approved.

Copy link
Collaborator

@Noc2 Noc2 left a comment

Choose a reason for hiding this comment

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

Thanks for the PR. I will share it with the rest of the team.

@Noc2 Noc2 added ready for review The project is ready to be reviewed by the committee members. amendment This PR proposes changes to an existing application. labels Nov 28, 2023
Copy link
Collaborator

@takahser takahser left a comment

Choose a reason for hiding this comment

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

LGTM

@semuelle semuelle merged commit 8d7d7c9 into w3f:master Nov 28, 2023
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
amendment This PR proposes changes to an existing application. ready for review The project is ready to be reviewed by the committee members.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants