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