Starting October 1, the master in GitHub will be changed to main by default