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 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
> 
> ___
> devel mailing list
> devel@lists.open-mpi.org
> https://lists.open-mpi.org/mailman/listinfo/devel


-- 
Jeff Squyres
jsquy...@cisco.com

___
devel mailing list
devel@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/devel


[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

___
devel mailing list
devel@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/devel