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 >
