-
-
Notifications
You must be signed in to change notification settings - Fork 25.6k
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
DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution #30177
DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution #30177
Conversation
…d instead of mailing list
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.
Indeed. I think that it would be our prefer channel of communication.
Co-authored-by: Guillaume Lemaitre <[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.
LGTM. Thanks @MarieS-WiMLDS
Enabling auto-merge. |
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.
Thanks @MarieS-WiMLDS. For background, we discussed this suggestion IRL because younglings do not know what mailing list are anymore ;)
Disable the auto-merge to take @ogrisel comments into account before merging. |
Co-authored-by: Olivier Grisel <[email protected]>
Co-authored-by: Olivier Grisel <[email protected]>
... instead of mailing list
Reference Issues/PRs
None
What does this implement/fix? Explain your changes.
Orient people towards the most used tools instead of mailing list, also to avoid spam.
Any other comments?