diff options
author | 2017-05-16 09:13:01 +0200 | |
---|---|---|
committer | 2017-05-16 09:13:01 +0200 | |
commit | 634448b8cc32f8141b779b1e40449411201cf897 (patch) | |
tree | aa5c807e94cebece1e45900578e4aa009e6b6561 | |
parent | 3908fb1c6d68678daa65b4a2fa944424575acf87 (diff) | |
parent | f1707b32c96931eb1c1d8153b8570234321153c2 (diff) |
Merge PR#624: Switch bedrock to mit-plv base
-rw-r--r-- | dev/ci/ci-basic-overlay.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 5da13c100..1dfade261 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -98,13 +98,13 @@ # bedrock_src ######################################################################## : ${bedrock_src_CI_BRANCH:=master} -: ${bedrock_src_CI_GITURL:=https://github.com/JasonGross/bedrock.git} +: ${bedrock_src_CI_GITURL:=https://github.com/mit-plv/bedrock.git} ######################################################################## # bedrock_facade ######################################################################## : ${bedrock_facade_CI_BRANCH:=master} -: ${bedrock_facade_CI_GITURL:=https://github.com/JasonGross/bedrock.git} +: ${bedrock_facade_CI_GITURL:=https://github.com/mit-plv/bedrock.git} ######################################################################## # formal-topology |