From cc19772aa90d737fe59710f160c496dcc2326e75 Mon Sep 17 00:00:00 2001
From: Kei Okada <k-okada@jsk.t.u-tokyo.ac.jp>
Date: Mon, 18 Feb 2019 14:09:15 +0000
Subject: [PATCH] force set git protocol.version 0

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

diff --git a/docker.sh b/docker.sh
index d1c09d5b..33d2222b 100755
--- a/docker.sh
+++ b/docker.sh
@@ -107,6 +107,7 @@ fi
 # install fundamental packages
 sudo -E apt-get -y -qq update
 sudo -E apt-get -y -qq install apt-utils build-essential curl git lsb-release python-pip python-setuptools wget
+git config --global protocol.version 0 # https://stackoverflow.com/questions/53207973/fatal-unknown-value-for-config-protocol-version-2
 
 # add user for testing
 adduser --disabled-password --gecos "" travis