From 27e92724e7e77c1eac91db8af920bd1546f192b2 Mon Sep 17 00:00:00 2001
From: Matthieu Gautier <mgautier@kymeria.fr>
Date: Wed, 29 May 2019 14:08:33 +0200
Subject: [PATCH] Fix deployement of git repositories.

The git repositories to upload are in the $EXPORT_DIR/GIT.
So we need to move there before try to push them.
---
 travis/deploy.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/travis/deploy.sh b/travis/deploy.sh
index 2d32044..ae87191 100755
--- a/travis/deploy.sh
+++ b/travis/deploy.sh
@@ -69,12 +69,13 @@ then
     done
   fi
 
+  cd ${EXPORT_DIR}/GIT
   GIT_REPOS=$(ls -d */)
   if [[ "x$GIT_REPOS" != "x" ]]
   then
     for repo in $GIT_REPOS
     do
-      (cd repo;
+      (cd $repo;
       GIT_SSH_COMMAND"ssh -o StrictHostKeyChecking=no -i $SSH_KEY" git push
       )
     done