3 ms·Didn't github also migrate at azure recently? That certainly can't help.by pluralmonad 2mo agoDidn't github also migrate at azure recently? That certainly can't help.deleted 2mo ago[deleted]