Closed
Description
Part of March's batched infrastructure rollout: #48168
On March 1st 2021 (Monday) we're going to rename the default branch in this repository to main
. For more details, see our earlier announcement. Expect the process to begin around 8AM UTC.