projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5cd1ad) | patch
ci: remove unused files
authorJordan Petridis <jordan@centricular.com>
Wed, 11 May 2022 11:10:28 +0000 (14:10 +0300)
committerGStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org>
Sat, 14 May 2022 11:13:10 +0000 (11:13 +0000)
commitfff82f565074d6f8fd0b6015d03d04169bba6e83
treef201878b2695243d58bca2b1c5d0e7c7c26a9d24tree | snapshot
parenta5cd1adc9718b760eec0e9022c9eb32aaabb2b82commit | diff
ci: remove unused files

These are leftovers of the gst-ci repo, before the mono repo
merge and can be removed now.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/2403>
.gitlab-ci.yml diff | blob | history
ci/gitlab/build_manifest.py [deleted file] blob | history
ci/gitlab/clone_manifest_ref.py [deleted file] blob | history
Domain: Multimedia / Media Common;