things are currently rebooting. On Thu, May 7, 2015 at 7:18 AM, shane knapp <skn...@berkeley.edu> wrote:
> this is happening now. > > On Wed, May 6, 2015 at 5:44 PM, shane knapp <skn...@berkeley.edu> wrote: > >> we've had a spate of issues since the power outage, and now the github >> pull request builder is randomly deciding who can and can't trigger >> builds[1]. >> >> i think it's time for a quick restart of the master and workers, which >> i'll do early tomorrow morning. the outage should be very brief, and i'll >> let everyone know how it's going. >> >> sorry again for the inconvenience. >> >> shane >> > >
