From 1e04e3822c68c88a85060dc78bc90eead0c856ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pawe=C5=82=20=C5=BBak?= Date: Fri, 17 Feb 2023 21:00:42 +0100 Subject: [PATCH] chore: mention make lint in PR template and contributing doc (#12703) --- .github/PULL_REQUEST_TEMPLATE.md | 3 ++- CONTRIBUTING.md | 5 +++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 88be554bd..7eaebf966 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,7 +1,8 @@ # Required for all PRs -