00:10 <forest> Are the freedesktop.org servers down? I'm getting timeouts trying to reach xorg.freedesktop.org.

00:10 <psykose> yes

00:14 <mekeor> freedesktop.org servers down probably because of https://cat.pdx.edu/2023/11/28/network-downtime-12-16-2023-noon-to-6pm-outages-for-wired-mcecs-networks/ (thanks, daniels)

00:16 <forest> Thanks. That's helpful.

01:07 <alanc> mekeor: looks like last stable release was 2018: https://gitlab.freedesktop.org/xdg/xdg-utils/-/tags

08:31 <Xargon> Greetings, is there something wrong with the servers? If I curl https://www.freedesktop.org/software/libevdev/libevdev-1.13.1.tar.xz it downloads it, but with other tolls such as wget and even flatpak-builder (my concern) s failing.

08:31 <Xargon> tools*

13:58 <__tim> There's something weird going on with merging things. Marge says it Encounters errors when merging (log says gitlab saying 'branch can't be merged'), but the MR has then actually been merged, only the MR is still open. When I manually hit the merge button it takes eternities, but then the MR is also marked as merged in the end, at least after 1-2

13:58 <__tim> tries

13:59 <__tim> (example: https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/5600 in case it helps with finding anything in logs)