FYI: According to https://status.github.com/messages, as of about 10 mins ago, Github is investigating slowness with some git repos.
The Open MPI organization repos (the ompi repo, at least) seems to be among these "slow" repos -- I'm getting response times on the web UI in terms of a minute or two. And I haven't seen the webhook-driven email from my latest commit yet (which was a few minutes ago). -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
