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 collaborator: @reinhart1010 #7404

Closed
marchersimon opened this issue Nov 10, 2021 · 3 comments · Fixed by #7477
Closed

Add collaborator: @reinhart1010 #7404

marchersimon opened this issue Nov 10, 2021 · 3 comments · Fixed by #7477
Labels
community Issues/PRs dealing with role changes and community organization.

Comments

@marchersimon
Copy link
Collaborator

Hi, @reinhart1010! You seem to be enjoying contributing to the tldr-pages project.
You now have had 17 distinct pull requests merged (#7192 #7089 #7087 #7086 #6623 ...)!
That qualifies you to become a collaborator in this repository, as explained in our community roles documentation.

As a collaborator, you will have commit access to the repository.
That means you can merge pull requests, label and close issues, and perform various other maintenance tasks that are needed here and there.
Of course, all of this is voluntary — you're welcome to contribute to the project in whatever ways suit your liking.

If you do decide to start performing maintenance tasks, though, we only ask you to get familiar with the maintainer's guide.

So, what do you say? Can we add you as a collaborator?

Either way, thanks for all your work so far!

@marchersimon marchersimon added the community Issues/PRs dealing with role changes and community organization. label Nov 10, 2021
@marchersimon
Copy link
Collaborator Author

@reinhart1010?

@reinhart1010
Copy link
Collaborator

Sorry for late reply, but after some consideration I'm willing to do so. Thanks!

@navarroaxel
Copy link
Collaborator

@reinhart1010 Invitation sent, please accept and close this issue sending a PR adding you to the MAINTAINERS.md.

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 a pull request may close this issue.

3 participants