From 5c2433a6f35a84741f26aa546432649891b896bb Mon Sep 17 00:00:00 2001 From: Harry Mellor <19981378+hmellor@users.noreply.github.com> Date: Mon, 8 Dec 2025 13:11:51 +0000 Subject: [PATCH] Add tip for `mypy` and `markdownlint` to the pre-commit comment (#30259) Signed-off-by: Harry Mellor <19981378+hmellor@users.noreply.github.com> --- .github/mergify.yml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.github/mergify.yml b/.github/mergify.yml index 58a5d77867c9..3ad79f93bc7a 100644 --- a/.github/mergify.yml +++ b/.github/mergify.yml @@ -35,6 +35,20 @@ pull_request_rules: For future commits, `pre-commit` will run automatically on changed files before each commit. + > [!TIP] + >
+ > Is mypy or markdownlint failing? + >
+ > mypy and markdownlint are run differently in CI. If the failure is related to either of these checks, please use the following commands to run them locally: + > + > ```bash + > # For mypy (substitute "3.10" with the failing version if needed) + > pre-commit run --hook-stage manual mypy-3.10 + > # For markdownlint + > pre-commit run --hook-stage manual markdownlint + > ``` + >
+ - name: comment-dco-failure description: Comment on PR when DCO check fails conditions: