Hello, good Build Harness folks - I was wondering if there was any thought given to renaming the default branch from master
to main
in GitHub? We’re planning to move our build-harness-extensions project that way, so the thought occurred to check with the mothership. Thanks!