RedisCI

Details for run #572059 (err)

redis-2.8 (b2ab1e0)

Mon Jul 09 18:46:54 CEST 2018

Error in: git pull origin 2.8

@cd /ssd/ci/redis

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

@git reset --hard

HEAD is now at 7239e9c Merge pull request #5095 from 0xtonyxia/fix-indentation

@git checkout 2.8

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

@git pull origin 2.8


fatal: unable to connect to github.com:
github.com: Name or service not known

child process exited abnormally