diff options
Diffstat (limited to '')
| -rwxr-xr-x | .travis/docker/server/setup_repo.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis/docker/server/setup_repo.sh b/.travis/docker/server/setup_repo.sh index 3d5b899..82ae711 100755 --- a/.travis/docker/server/setup_repo.sh +++ b/.travis/docker/server/setup_repo.sh @@ -5,6 +5,11 @@ set -o errexit -o nounset -o pipefail readonly local_repo_path="$HOME/test_repo" setup_local_repo() { + echo + echo ---------------------------------------------------------------------- + echo Setting up upstream repository + echo ---------------------------------------------------------------------- + mkdir -p -- "$local_repo_path" pushd -- "$local_repo_path" > /dev/null git init |