sorry if any pull request builds got killed, but jenkins was in a bad state and needed (another) full restart.
looks like things are happily building now, and i can reliably log in through the UI. i'll keep an eye on things over the next couple of hours. shane -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
