mirrors/gst-plugins-rs
mirrors/gst-plugins-rs
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git synced 2025-09-02 17:53:48 +00:00
Code Issues Projects Releases Wiki Activity

ci: fix check-documentation-diff curl command

Browse source 
Need to pass -L to follow the moved location.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/2262>
This commit is contained in:
Guillaume Desmottes 2025-05-27 08:05:45 +02:00 committed by GStreamer Marge Bot
parent 448edec0ee
commit 3c830e7ea8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ci/check-documentation-diff.py
View file

@ -13,7 +13,7 @@ if __name__ == "__main__":
with open(diffname, 'w') as diff:
subprocess.check_call(['git', 'diff'], stdout=diff)
print('\033[91mYou have a diff in the documentation cache. Please update with:\033[0m')
print(' $ curl %s/%s | git apply -' % (os.environ['CI_ARTIFACTS_URL'], diffname.replace('../', '')))
print(' $ curl -L %s/%s | git apply -' % (os.environ['CI_ARTIFACTS_URL'], diffname.replace('../', '')))
if res != 0:
print('(note that it might take a few minutes for artefacts to be available on the server)\n')