+ [2020-06-16T03:54:28Z] LexSfX i read a news article about github planning to rename branches named "master" to something else. does anyone know if this is true? if so, what will the new name be? also, should i do it for my own repositories now to save myself time later?