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
