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