Add a note for the commit line

mdn · Aug 4, 2023 · b3ea86e · b3ea86e
1 parent 957c6c8
commit b3ea86e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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