From a1a03486df4466541de93dafa15368255b14faf0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 30 Oct 2017 09:59:28 +0100
Subject: [ci] Switch VST back to upstream.

This finally closes #5994.
---
 dev/ci/ci-basic-overlay.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 5c37b3133e..59a71b6086 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -80,7 +80,7 @@
 # VST
 ########################################################################
 : ${VST_CI_BRANCH:=master}
-: ${VST_CI_GITURL:=https://github.com/Zimmi48/VST.git}
+: ${VST_CI_GITURL:=https://github.com/PrincetonUniversity/VST.git}
 
 ########################################################################
 # fiat_parsers
-- 
cgit v1.2.3