Pull requests are always welcome, and the MongoDB dev team appreciates any help the community can give to help make MongoDB better.
GitHub Issues are turned off in favor of Jira issues. GitHub Discussions are turned off in favor of MongoDB Developer Community.
For more information about how to contribute, please read the MongoDB Wiki on GitHub.