From 9bf842d58ffcfabf8924b9b1abf323bd434a3430 Mon Sep 17 00:00:00 2001
From: Niko Strijbol <strijbol.niko@gmail.com>
Date: Fri, 14 Dec 2018 14:27:21 +0100
Subject: [PATCH] Use porcelain option with git push (#290)

---
 server/scraper/resto.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/scraper/resto.sh b/server/scraper/resto.sh
index 8a735cc6..e153ff53 100755
--- a/server/scraper/resto.sh
+++ b/server/scraper/resto.sh
@@ -58,6 +58,7 @@ git add .
 # The first part prevents git from committing nothing, resulting in an error
 git diff-index --quiet HEAD || git commit -m "Scraper: new data from $today"
 
+# Porcelain prevents git from writing non-errors to stderr, resulting in emails
 if [[ "$push" == true ]]; then
-    git push
+    git push --porcelain
 fi
\ No newline at end of file