On 16. Sep 2019, at 14:38, Marshall Schor <[email protected]> wrote: > > I posted this as a request back to infra, showing the failure and asking how > the > rename should be done.
Push trunk as master or create a master branch based on trunk. Ask INFRA to un-protect trunk and to protect master instead. Delete trunk. Bingo :) -- Richard
