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

MAINTAINERS.md: Add @andrik & @Aracki as repos collaborators #3005

Merged
merged 1 commit into from
May 10, 2019

Conversation

Aracki
Copy link
Collaborator

@Aracki Aracki commented May 10, 2019

I have added @andrik & @Aracki as repository collaborators.

Closes #2988.

Add @andrik & @Aracki as repository collaborators
@Aracki Aracki requested a review from schneiderl May 10, 2019 09:44
@Aracki Aracki added the community Issues/PRs dealing with role changes and community organization. label May 10, 2019
@Aracki Aracki requested a review from waldyrious May 10, 2019 09:55
Copy link
Member

@waldyrious waldyrious left a comment

Choose a reason for hiding this comment

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

Looks good :) this diff won't conflict with #2258, so we can merge it now.

@waldyrious
Copy link
Member

Before merging, let's wait for confirmation from both @andrik and @Aracki that they've accepted the invitation at #2988.

@owenvoke
Copy link
Member

@waldyrious, I assumed that #2988 (comment) and #2988 (comment) were the confirmations. 🤔

@Aracki
Copy link
Collaborator Author

Aracki commented May 10, 2019

I accepted it.

@waldyrious
Copy link
Member

waldyrious commented May 10, 2019

The invites are only sent once the contributor(s) agrees with the proposal, as @sbrl's comments in #2988 attest. What I meant was public confirmations that the invites have been accepted, as @Aracki did above. That's not a big deal, of course, but it helps us make sure that the closing of the issue only happens once all the steps are completed (the last one being the merge of this PR).

@andrik
Copy link
Collaborator

andrik commented May 10, 2019

I accepted it

@waldyrious
Copy link
Member

Thanks guys!

@waldyrious waldyrious changed the title MAINTAINERS.MD: Add @andrik & @Aracki MAINTAINERS.md: Add @andrik & @Aracki as repos collaborators May 10, 2019
@waldyrious waldyrious merged commit 9d1dc99 into master May 10, 2019
@waldyrious waldyrious deleted the maintainers branch May 10, 2019 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
community Issues/PRs dealing with role changes and community organization.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add @andrik and @Aracki as contributors
5 participants