Update MuJoCo contributing guidelines regarding PR imports.

Updates CONTRIBUTING.md to suggest that contributors who do not require Git authorship attribution let maintainers know in the PR, which allows for faster direct incorporation of changes.

PiperOrigin-RevId: 951751097
Change-Id: I521f1ad1978987c71a90e85c1bed71392a07ee7b
This commit is contained in:
Yuval Tassa
2026-07-21 16:05:17 -07:00
committed by Copybara-Service
parent a7e6114ed7
commit 2b30c6bc0f
+7 -3
View File
@@ -72,7 +72,7 @@ How to submit a good enhancement suggestion:
### Contributing code
- Except for small and straightforward bugfixes, please get in touch with us
- Except for small and straightforward bug fixes, please get in touch with us
before you start working on a contribution so that we can help and possibly
guide you. Coordinating up front makes it much easier to avoid frustration later
on.
@@ -105,11 +105,15 @@ achieve multiple things.
- Respond to reviewers. Please be responsive to any questions and comments.
- If you are not concerned with having your contribution attributed to you via
Git authorship, please let us know in the PR. It is significantly easier
for us to directly incorporate changes rather than going through the
full pull request import process. This will get your changes merged more
quickly.
Once you have met all the requirements, your code will be merged.
Thanks for improving MuJoCo!
### Community guidelines
This project follows Google's