[Members] Re: Renaming git main branches.

On 10/06/25 7:20 pm, E.M. wrote: I don't mind doing it, but one concern is I'm new to how things are set up, so I may not know what to look out for and how to avoid breaking things (: I'd be happy to help out where I can (maybe with some overseeing from the Infrastructure team?) My main concern is if there are any automated tools which pull the git repos and expect to see things at a specific branch named 'master'. And everyone who's cloned anything would also have to update their workflows accordingly, of course. Best, Badri