diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-04-11 14:55:52 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-04-11 14:55:52 +0200 |
commit | c069a6aa882d13c20eb94326a43105e49dbcafd3 (patch) | |
tree | cf3f8cbdb49ef0c73cd1124413a4314968d6ce81 | |
parent | 116af3fd6eadd5f7c6e61c9681d6def865372ed5 (diff) | |
download | deployment-c069a6aa882d13c20eb94326a43105e49dbcafd3.tar.gz deployment-c069a6aa882d13c20eb94326a43105e49dbcafd3.tar.bz2 deployment-c069a6aa882d13c20eb94326a43105e49dbcafd3.zip |
pull via git://
-rwxr-xr-x | bootstrap-bluegreen | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bootstrap-bluegreen b/bootstrap-bluegreen index 033fc51..4dfaf08 100755 --- a/bootstrap-bluegreen +++ b/bootstrap-bluegreen @@ -62,8 +62,8 @@ done if [[ "$ENVNAME" = test ]]; then if ! test -d $HOME/playground; then - git clone /srv/git/playground.git - git clone /srv/git/help.git + git clone git://git.taler.net/playground + git clone git://git.taler.net/help fi fi |