3 ms·Everything repo is main now. The name change was a complete non issue.by kingkongjaffa 4y agoEverything repo is main now. The name change was a complete non issue.