Re: [OMPI devel] Github deprecated "Github services" Does this affect us?

2018-06-08 Thread Jeff Squyres (jsquyres) via devel
The only thing it affects that we were using was Travis. But a) we're no longer using Travis, and b) I'm sure Travis will address the issue, anyway. > On Jun 7, 2018, at 10:06 AM, Geoffrey Paulsen wrote: > > Devel, > >I just came across Github's deprecation announcement of Github

[OMPI devel] Github deprecated "Github services" Does this affect us?

2018-06-07 Thread Geoffrey Paulsen
Devel,      I just came across Github's deprecation announcement of Github Services. https://developer.github.com/changes/2018-04-25-github-services-deprecation/   Does anyone know if this will affect Open-MPI at all, and do we need to change any processes because of this? ---Geoffrey Paulsen