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?
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
