The results are in: 2/3 out of 900 are ok with ditching "master" as the name for
the default branch. @github
@gr2m
/status/1065304094913511425