RedisCI

Details for run #1039 (err)

redis-cluster (f132134)

Wed May 23 13:51:08 CEST 2018

Error in: git pull origin unstable
@cd /ssd/ci/redis
Working dir is now '/ssd/ci/redis'


@git reset --hard
HEAD is now at 2717be6 Actually use ae_flags to add AE_BARRIER if needed.

@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 github.com:
github.com: Name or service not known

child process exited abnormally