commit c069a6aa882d13c20eb94326a43105e49dbcafd3 parent 116af3fd6eadd5f7c6e61c9681d6def865372ed5 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Thu, 11 Apr 2019 14:55:52 +0200 pull via git:// Diffstat:
| M | bootstrap-bluegreen | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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