The gitlab.freedesktop.org mirror is currently not available:
> Currently planned outage: 2025-03-16 -> 2025-03-22

Let's use the github.com mirror until then. Impressively they have the
same checksum.

Part-of: !6290