Details for run #156613 (err)

redis-3.2 (590f537)

Sun Jun 17 18:38:07 CEST 2018

Error in: git pull origin 3.2

@cd /ssd/ci/redis

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

@git reset --hard

HEAD is now at d353023 Merge branch 'unstable' of into unstable

@git checkout 3.2

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

@git pull origin 3.2

fatal: unable to connect to Name or service not known

child process exited abnormally