From cd65ad180cd19cc5053b398df39e3df4621cab44 Mon Sep 17 00:00:00 2001
From: CapsAdmin <eliashogstvedt@gmail.com>
Date: Sat, 5 Mar 2022 09:48:41 +0100
Subject: [PATCH] make sure git status is clean before pushing to workshop

---
 workshop.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/workshop.sh b/workshop.sh
index bfe04b07..6a849fe3 100644
--- a/workshop.sh
+++ b/workshop.sh
@@ -1,7 +1,12 @@
 #!/bin/bash
-
 WORKSHOP_ID=104691717
 
+if [ "$(git status --porcelain)" ]; then
+	echo "You have uncommitted changes in your workspace."
+	echo "Please commit or stash them before continuing."
+	exit 1
+fi
+
 if [[ "$OSTYPE" == "darwin"* ]]; then
     gmad='../../../bin/gmad'
     gmpublish='../../../gmpublish'