[09:02:36] legoktm: thanks! And a feature request: be able to add a label to the git repo in the UI, so that we could put something near "diffusion / ONED" to explain what it is and /or link it to gerrit/diffusion/gh automatically :D [09:05:21] the files/line numbers link to diffusion, but it's broken for some reason. I'll fix that all tomorrow [09:09:41] lol, was not expecting to see you still online.. go to bed! [09:14:15] I'm now wondering why CI on the dns repo is not slow and worrying there's an issue that doesn't get raised, having a loo [09:14:18] *look [16:34:45] legoktm: fwiw runnign the same git clone from a VM in cloud or a prod host in eqiad takes less than 6s