As I did not dare to raise a bug about this small request. Could we please renamemaster tomain? Most projects already did it, github provides redirects, default for new repos is already main, and we should not be the ones to follow crowd ;)

Thanks!