The default branch will be renamed to main

[imback82]

On the week of March 15-19, we're going to rename the default branch in this repository to main. For more details, see our earlier announcement.

The existing PRs will be re-targeted to main automatically.

[imback82]

@dotnet/dnceng, the GitHub rename tool isn't enabled for this repo. Could you help?

[premun]

@imback82 the section on the screenshot looks exactly like the rename one. Or you're saying this is a screenshot from some other repository?

[imback82]

@premun Oh, I thought I needed the arrow as shown below?

[imback82]

But looks like the "pencil" button is the rename button.

[premun]

Yeah, I think the arrows are missing since you only had 1 branch in the repo. The pencil should do the trick!

[imback82]

Thanks @premun!

[imback82]

This is now complete.