RedisCI

Details for run #1054 (err)

redis-3.2 (2717be6)

Wed May 23 13:51:30 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 f132134 Merge pull request #4935 from soloestoy/bugfix-zpop

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

child process exited abnormally