If you weren't already aware: the DNS provider for github.com has been under
DDOS attack today. There was a sustained attack earlier today that was
resolved, but now it looks like it's happening again.
https://status.github.com/messages
Various things may fail (including CI), and you may have trouble reaching
github.com, while these attacks are ongoing.
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
_______________________________________________
devel mailing list
devel@lists.open-mpi.org
https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
