There was no objection to the proposal. I will proceed renaming the "master" branches to "main".
-- Richard > On 15. Nov 2020, at 19:33, Richard Eckart de Castilho <[email protected]> wrote: > > Hi all, > > GitHub has recently switched their default branch naming scheme. > > In the past, the default branch was typically called "master". > > Now, the default name for the default branch has changed to "main". > > This would also affect the "master-v2" branches we have in some repos > which would change to "main-v2". > > I would like to propose we follow this change for the UIMA repositories > presently on GitHub and for any new ones we move there from SVN or we > create there. > > If there are no -1 replies to this mail within 72h, I shall assume > lazy consensus and open a ticket to effect this change with INFRA. > > Cheers, > > -- Richard >
