GitHub fixes pull request delay that derailed developers

Went down yesterday, too, longer and harder. Maybe we should call it GitFlub?

GitHub is experiencing a second day of degraded performance, following a bad update that threw the code locker into chaos....