@SylvainDe Does it matter? I mean not only has GitHub already implemented it so it’s no trouble at all to adopt but if it means that even one person doesn’t feel bad because of something that’s so easy to change, why not? (Not to mention that main or default are far more semantically correct as a branch does not have to be based on the main branch, which is what a master/copy relationship implies.)