diff options
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d89f231ebb..06c46c783d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -329,7 +329,7 @@ We like to keep our commit history clean, and will require resubmission of pull Sometimes it might take us a while to fully review your PR. We try to keep the `devel` branch in good working order, and so we review requests carefully. Please be patient. -All submitted PRs will have the linter and unit tests run against them, and the status reported in the PR. +All submitted PRs will have the linter and unit tests run against them via Zuul, and the status reported in the PR. ## Reporting Issues |