there was some network work being done last night (~945pm PDT) at our colo, and it had the unintended consequence of kicking a lot of services off the network.
jenkins was affected, and the connection to github was lost. i just kicked the jenkins master and things are happily building again. sorry for the downtime... shane --------------------------------------------------------------------- To unsubscribe e-mail: dev-unsubscr...@spark.apache.org