hey all! we're having network issues on campus right now, and the jenkins workers are experiencing up to 40% packet loss on our pings to github.
this can cause builds to time out when attempting to git fetch. i'll post an update on the network status when i find out more about what's going on. shane -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
