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>
This commit is contained in:
parent
4f43ecc7c0
commit
ee0f2a0bb2
@ -22,7 +22,7 @@ if __name__ == "__main__":
|
|||||||
with open(diffname, 'w') as diff:
|
with open(diffname, 'w') as diff:
|
||||||
subprocess.check_call(['git', 'diff'], stdout=diff)
|
subprocess.check_call(['git', 'diff'], stdout=diff)
|
||||||
print(f'\033[91mYou have a diff in the {opts.name}. Please update with:\033[0m')
|
print(f'\033[91mYou have a diff in the {opts.name}. Please update with:\033[0m')
|
||||||
print(' $ curl %s/%s | git apply -' %
|
print(' $ curl -L %s/%s | git apply -' %
|
||||||
(os.environ.get('CI_ARTIFACTS_URL', "NOT_RUNNING_ON_CI"), diffname.replace('../', '')))
|
(os.environ.get('CI_ARTIFACTS_URL', "NOT_RUNNING_ON_CI"), diffname.replace('../', '')))
|
||||||
|
|
||||||
if res != 0:
|
if res != 0:
|
||||||
|
Loading…
x
Reference in New Issue
Block a user