Details for run #2955 (err)

redis-unstable (e91b81c)

Wed Jun 07 01:34:13 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 b2ab1e0 Remove Lua state reference from buffers in lua_cmsgpack.

@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