diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 75fe37fa33..200a90bf69 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -33,7 +33,7 @@ To send us a pull request, please: 1. Fork the repository. 2. Modify the source; please focus on the specific change you are contributing. If you also reformat all the code, it will be hard for us to focus on your change. -3. Ensure local tests pass. +3. Ensure local tests pass. (`colcon test`) 4. Commit to your fork using clear commit messages. 5. Send a pull request, answering any default questions in the pull request interface. 6. Pay attention to any automated CI failures reported in the pull request, and stay involved in the conversation.