Tim-Philipp Müller ee0f2a0bb2 ci: check-diff: fix curl command line to handle redirects
Seems to be needed now with the new caching/bot-protection layers.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/8949>
2025-05-08 11:14:40 +01:00
..
2024-11-18 12:11:57 +11:00