Details for run #2942 (err)

redis-3.2 (5116130)

Wed Jun 07 01:33:13 CEST 2017

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 e91b81c More informative -MISCONF error message.

@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: remote error: 
  GitHub is offline for maintenance. See for more info.
child process exited abnormally