07:26 dolphin: daniels: "remote: hooks/post-receive.d/01-github: line 1: /run/github-mirror/named-pipe: Permission denied"
07:27 dolphin: drm-intel repo seems borked
07:27 dolphin: airlied, danvet: ^^ drm-intel-next-fixes may be delayed
07:28 airlied: daniels: ^^ any ideas?
07:30 airlied:isn't in the drm-intel group so I can't nuke the hook
07:30 airlied: but it sounds like some github mirroring process has died
07:30 dolphin: I am but I don't think I should go and randomly remove infra files from the server :)
07:30 airlied: I don't think you can ssh to that server anyways :-)
07:32 airlied: I'm sure daniels can help figure it out, otherwise ask in #freedesktop might be a good plan
07:32 airlied: as there might be others who can fix it
07:33 tzimmermann: airlied, danvet, dolphin, FXI i also cannot send drm-misc-fixes, because drm-misc is not exported or denies access
07:34 tzimmermann: i cannot see drm trees on https://cgit.freedesktop.org/ either
07:34 dolphin: ok, so probably something wider broken
07:41 danvet: dolphin, yeah #freedesktop probably best place, I think daniels is somewhat offline this week