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
> On Jun 7, 2018, at 10:06 AM, Geoffrey Paulsen wrote:
>I just came across Github's deprecation announcement of Github Services.
>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 mailing list