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
