GitHub remplacera « master » par « main » à partir du mois prochain

Tous les nouveaux dépôts Git sur GitHub remplaceront les termes « master » (ou « maître ») par « main » à partir du 1er octobre 2020.