change default GitHub branch
Replaced the default branch ("Manhattan") with "main". "main" is now the latest and stable version. The HEAD of "main" will be the source of releases using the vX.Y.Z format.
Replaced the default branch ("Manhattan") with "main". "main" is now the latest and stable version. The HEAD of "main" will be the source of releases using the vX.Y.Z format.