RedisCI

Details for run #118178 (err)

redis-unstable-O3 (d353023)

Sun Jun 17 00:26:50 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 d353023 Merge branch 'unstable' of github.com:/antirez/redis into unstable

@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