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: add @leonvsc as collaborator #11505

Merged
merged 1 commit into from
Nov 14, 2023

Conversation

leonvsc
Copy link
Collaborator

@leonvsc leonvsc commented Nov 14, 2023

Closes #11495 🚀

@github-actions github-actions bot added the community Issues/PRs dealing with role changes and community organization. label Nov 14, 2023
Copy link
Member

@gutjuri gutjuri left a comment

Choose a reason for hiding this comment

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

🎉

@sebastiaanspeck sebastiaanspeck merged commit 4886629 into tldr-pages:main Nov 14, 2023
3 checks passed
@leonvsc leonvsc deleted the maintainers branch November 14, 2023 19:40
Copy link
Member

@kbdharun kbdharun left a comment

Choose a reason for hiding this comment

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

Kinda late, welcome to tldr 🎉

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.

MAINTAINERS: add @leonvsc as collaborator
4 participants