Re: [OMPI devel] Renaming Open MPI's git "master" branch

2022-03-25 Thread Jeff Squyres (jsquyres) via devel
The Github branch rename has been completed. Actions developers should take: 1. Update your Github fork: rename "master" to "main". Failure to do this will likely lead to wailing and gnashing of teeth at some point. * Navigate to your Github fork --> Settings --> Branches (e.g.,

Re: [OMPI devel] Renaming Open MPI's git "master" branch

2022-03-25 Thread Jeff Squyres (jsquyres) via devel
Gentle reminder that Brian and I will start this change in about 15 minutes. -- Jeff Squyres jsquy...@cisco.com From: Jeff Squyres (jsquyres) Sent: Tuesday, March 22, 2022 12:30 PM To: Open MPI Developers Subject: Re: Renaming Open MPI's git "master"

Re: [OMPI devel] Renaming Open MPI's git "master" branch

2022-03-22 Thread Jeff Squyres (jsquyres) via devel
This was discussed both off-list and on the weekly Open MPI dev call. Here's the points that were discussed, in no particular order: * We definitely need to give a heads-up to build-from-source projects like Spack and EasyBuild. * It's not common, but it is possible to build Open

[OMPI devel] Renaming Open MPI's git "master" branch

2022-03-18 Thread Jeff Squyres (jsquyres) via devel
This is a bit overdue, but we're finally getting to this. We are planning to rename Open MPI's git "master" branch to "main" one week from today: Friday, 25 Mar, 2022. Brian and I will handle most of the logistics of this change, but there will likely be a little disruption for developers.