From edb1c6ce8b4095e21e2b220c3bf5e0ff4aff5db2 Mon Sep 17 00:00:00 2001
From: Peter Squicciarini <stripedpajamas273@gmail.com>
Date: Mon, 20 May 2019 09:27:22 -0700
Subject: [PATCH] Pull before commit

---
 update_version.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/update_version.sh b/update_version.sh
index ccbdbce..af59f41 100755
--- a/update_version.sh
+++ b/update_version.sh
@@ -132,6 +132,7 @@ fi
 
 cd versions
 
+git pull origin master # in case another build just pushed
 git add .
 dateAndMonth=`date "+%D %T"`
 git commit -m "Travis update: $dateAndMonth (Build $TRAVIS_BUILD_NUMBER)"