gstreamer/ci/scripts/check-documentation-diff.py
Thibault Saunier 091946a478 ci: Port CI to the new monorepo
Main differences with previous setup are:
- No manifest creation
- gst-indent is executed only when the bot is assigned (instead of the manifest task)
- Cerbero jobs are triggered in the cerbero repo
- Remove cerbero and android related files as they now are in cerbero
  itself.
- Update `container.ps1` to the new file layout

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/891>
2021-09-24 16:21:18 -03:00

20 lines
No EOL
823 B
Python
Executable file

#!/usr/bin/python3
import os, subprocess, sys
if __name__ == "__main__":
diffsdir = '../plugins-cache-diffs'
os.makedirs(diffsdir, exist_ok=True)
res = 0
try:
subprocess.check_call(['git', 'diff', '--quiet'] )
except subprocess.CalledProcessError:
diffname = os.path.join(diffsdir, 'plugins_cache.diff')
res += 1
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('../', '')))
if res != 0:
print('(note that it might take a few minutes for artefacts to be available on the server)\n')
sys.exit(res)