FEATURE: ensure pups runs a specific version (#534)

FEATURE: ensure pups runs a specific version (#534)

Previously we used a “floating” head branch. This makes it impossible to make any breaking changes in pups.

diff --git a/launcher b/launcher
index 173a1d6..0b5a412 100755
--- a/launcher
+++ b/launcher
@@ -82,6 +82,7 @@ fi
 
 cd "$(dirname "$0")"
 
+pups_version='v1.0.3'
 docker_min_version='17.03.1'
 docker_rec_version='17.06.2'
 git_min_version='1.8.0'
@@ -653,7 +654,7 @@ run_bootstrap() {
 
   run_command="cd /pups &&"
   if [[ ! "false" =  $update_pups ]]; then
-    run_command="$run_command git pull &&"
+    run_command="$run_command git pull && git checkout $pups_version &&"
   fi
   run_command="$run_command /pups/bin/pups --stdin"
 

GitHub sha: 978ab0a4

This commit appears in #534 which was merged by fitzy1011.