Details for run #5917 (err)

redis-cluster (522760f)

Thu Dec 07 19:41:58 CET 2017

Error in: git pull origin unstable

@cd /ssd/ci/redis

Working dir is now '/ssd/ci/redis'

@git reset --hard

HEAD is now at fd5f229 rehash: handle one db until finished

@git checkout unstable

Switched to branch 'unstable'
Your branch is up-to-date with 'origin/unstable'.

@git pull origin unstable

fatal: unable to connect to Name or service not known

child process exited abnormally