Details for run #1000 (err)
Wed May 23 13:50:09 CEST 2018
Error in: git pull origin unstable
Working dir is now '/ssd/ci/redis'
@git reset --hard
HEAD is now at f132134 Merge pull request #4935 from soloestoy/bugfix-zpop
@git checkout unstable
Already on 'unstable'
Your branch is up-to-date with 'origin/unstable'.
@git pull origin unstable
fatal: unable to connect to github.com:
github.com: Name or service not known
child process exited abnormally