Ok, thanks!
Are you still listed on our mirror page? I just removed what appeared to be a
bunch of stale entries:
https://www.open-mpi.org/community/mirrors/
> On Jul 15, 2016, at 8:47 AM, Andreas Worbs wrote:
>
> Hi Jeff,
>
>
> sorry for our late answer. We don't need the mirror ser
Hi Jeff,
sorry for our late answer. We don't need the mirror service and removed
Open MPI of our mirror site.
Have a nice day,
Andi
Am 15.07.16 um 14:42 schrieb Jeff Squyres (jsquyres):
> Mirror administrators --
>
> I haven't heard back from any of you. Please let me know if you're still
> m
Mirror administrators --
I haven't heard back from any of you. Please let me know if you're still
mirroring the Open MPI web site (I see at least 2 that now appear to be stale).
Be aware that the rsync services have been discontinued. Git is now the only
way to mirror the Open MPI web site.
