From ff14d7b85391c7a64c193a3f4d499b16fe37cfb3 Mon Sep 17 00:00:00 2001
From: Alfred Xing <alfredxing@users.noreply.github.com>
Date: Thu, 31 Jul 2014 18:51:53 -0700
Subject: [PATCH] Fix `git diff` command in CI script

---
 script/proof | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/proof b/script/proof
index f3dcd558..82253abe 100755
--- 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
 }