3 ms·I don't think people pay attention to that usually. I don't care what whoever created PR called their branch.by detaro 5y agoI don't think people pay attention to that usually. I don't care what whoever created PR called their branch.