From 7fb5d8dc05633fdad89930c8b467d0a08781a4eb Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 15 Sep 2017 17:10:56 +0200
Subject: [PATCH] Protection against loss of uncommitted stuff

---
 Scripts/developer_scripts/git-show-content | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Scripts/developer_scripts/git-show-content b/Scripts/developer_scripts/git-show-content
index 50dbab0a47b..176f5333ea7 100755
--- a/Scripts/developer_scripts/git-show-content
+++ b/Scripts/developer_scripts/git-show-content
@@ -3,6 +3,11 @@
 zmodload zsh/stat
 set -e
 
+if ! ${git} diff --exit-code > /dev/null || ! ${git} diff --staged --exit-code  > /dev/null ; then
+    echo 'Your working directory contains local modifications!' >&2
+    exit 1
+fi
+
 base=${1:-HEAD}
 save=$(git rev-parse HEAD)