From cad76bf28b2d1c0f92f3b0b728db56fd9984e601 Mon Sep 17 00:00:00 2001
From: Greg Hogan <gregjhogan@gmail.com>
Date: Tue, 15 Sep 2020 18:04:53 -0700
Subject: [PATCH] update pipenv install

---
 update_requirements.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_requirements.sh b/update_requirements.sh
index d1fdfd4633..4fb40cc494 100755
--- a/update_requirements.sh
+++ b/update_requirements.sh
@@ -3,4 +3,4 @@
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
 
 cd "$DIR"
-sudo -- bash -c "source /etc/profile.d/comma_dev.sh; pip install pip==20.1.1 git+git://github.com/pypa/pipenv.git@7a12dbb5cacc71d1dd2d74d8cce8eb50ce2db121; pipenv install --dev --deploy --system"
+sudo -- bash -c "source /etc/profile.d/comma_dev.sh; pip install pip==20.1.1 pipenv==2020.8.13; pipenv install --dev --deploy --system"