Details for run #2951 (err)

redis-cluster (e91b81c)

Wed Jun 07 01:33:55 CEST 2017

Error in: git pull origin unstable

@cd /ssd/ci/redis

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

@git reset --hard

HEAD is now at 5116130 Redis 3.2.9.

@git checkout unstable

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

@git pull origin unstable

fatal: remote error: 
  GitHub is offline for maintenance. See for more info.
child process exited abnormally