-
-
Notifications
You must be signed in to change notification settings - Fork 4.3k
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 organization member: @zdroid #3664
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Co-Authored-By: Marco Bonelli <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's keep the historical record, as discussed previously in #3006.
@waldyrious Okay, I reverted it. Who is supposed to give the final say, @sbrl maybe? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. Welcome at last, @zdroid!
I'd say this should only be closed once the invite is sent out and accepted. Any of us with merge permissions can merge once we can verify that you're part of the org (remember that your membership should be public). |
Hey! Sorry, I've been busy with wrapping up the end of my first PhD semester. Sending invite now :-) |
All set, thanks to everyone! |
Closes #3663.