diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 58e33f4bf..570174248 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -56,7 +56,7 @@ Our documentation is maintained in a separate repository at https://github.com/b - [ ] I intend to create a matching pull request in the Documentation repository after this PR is merged ### Tests