diff --git a/docs/devel/pull-requests.md b/docs/devel/pull-requests.md
index 24524d90171..7bc4d96702c 100644
--- a/docs/devel/pull-requests.md
+++ b/docs/devel/pull-requests.md
@@ -71,7 +71,7 @@ The following will save time for both you and your reviewer:
 * Enable [pre-commit hooks](development.md#committing-changes-to-your-fork) and verify they pass.
 * Verify `make verify` passes.
 * Verify `make test` passes.
-* Verify `make test-integration.sh` passes.
+* Verify `make test-integration` passes.
 
 ## Release Notes