Merge pull request #2672 from alfredxing/fix-ci-git-diff

2026-01-30 17:28:29 -05:00 · 2014-08-01 13:12:27 -04:00
parent 413e22ce2b ff14d7b853
commit d8bb7f7ad7
1 changed files with 1 additions and 1 deletions
--- a/script/proof
+++ b/script/proof
@@ -5,7 +5,7 @@

 set -e

-git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^site/' || {
+git diff --name-only ..master | grep '^site/' || {
    echo "No site files changed. We'll skip proofing."
    exit 0
 }