From b3ea86ee25b8f72b10c0a50fd44f87bb47419cde Mon Sep 17 00:00:00 2001 From: OnkarRuikar <87750369+OnkarRuikar@users.noreply.github.com> Date: Fri, 4 Aug 2023 10:30:44 +0530 Subject: [PATCH] Add a note for the commit line --- .github/workflows/pr-check-lint_content.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/pr-check-lint_content.yml b/.github/workflows/pr-check-lint_content.yml index fa89b08f1c60880..33c6084fc92a55e 100644 --- a/.github/workflows/pr-check-lint_content.yml +++ b/.github/workflows/pr-check-lint_content.yml @@ -34,6 +34,10 @@ jobs: rm -r files *.md mv pr_head/files pr_head/*.md . rm -r pr_head + + # To avoid contents of PR getting into the diff that we are going to generate + # after running the linters, here we make a dummy commit. + # Note, this commit is not getting pushed. git commit -am "Code from PR head" - name: Get changed files