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.,
http
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" bran
