From 10cff7b97f373eaf87276ba0e9e3a43dfd0cc297 Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Sun, 1 Mar 2020 14:36:47 +0100
Subject: [PATCH] git diff origin/master HEAD --name-onl

---
 .github/workflows/cpplint_modified_files.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cpplint_modified_files.yml b/.github/workflows/cpplint_modified_files.yml
index b63348bb5..6ca643266 100644
--- a/.github/workflows/cpplint_modified_files.yml
+++ b/.github/workflows/cpplint_modified_files.yml
@@ -17,7 +17,7 @@ jobs:
       - run: git remote -v
       - run: git branch
       #- run: git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
-      - run: git diff origin/master... --name-only > git_diff.txt
+      - run: git diff origin/master HEAD --name-only > git_diff.txt
       - name: cpplint_modified_files
         shell: python
         run: |