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

Jump to bottom

Change maintainers #2147

Merged
merged 2 commits into from Oct 30, 2019
Merged

Change maintainers #2147

merged 2 commits into from Oct 30, 2019

Conversation

benoitc
Copy link
Owner

@benoitc benoitc commented Oct 30, 2019

change miantainers list to show active maintainers

@benoitc benoitc requested a review from jamadden October 30, 2019 17:07
@benoitc benoitc closed this Oct 30, 2019
@benoitc benoitc deleted the change-maintainers branch October 30, 2019 17:08
@benoitc benoitc restored the change-maintainers branch October 30, 2019 17:09
@benoitc benoitc reopened this Oct 30, 2019
@benoitc benoitc merged commit a05a447 into master Oct 30, 2019
@berkerpeksag berkerpeksag deleted the change-maintainers branch October 30, 2019 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jamadden jamadden Awaiting requested review from jamadden

@berkerpeksag berkerpeksag Awaiting requested review from berkerpeksag

@sirkonst sirkonst Awaiting requested review from sirkonst

@tilgovi tilgovi Awaiting requested review from tilgovi

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@benoitc