[coreboot] Re: coreboot has switched the default git branch from "master" to "main"

[Felix Singer]

Hi Martin,

On Sat, 2023-09-09 at 18:20 -0600, coreboot org wrote:
> The master branch will no longer accept pushes.

it seems people are still able to use refs/for/master. Some patches
were just pushed for master today, but they are already rebased to the
main branch now. Can we prevent that or can we only prevent submissions
to the master branch?

Felix