diff options
| author | Thomas Haller <thaller@redhat.com> | 2023-04-13 15:03:16 +0200 |
|---|---|---|
| committer | Thomas Haller <thaller@redhat.com> | 2023-04-13 15:19:23 +0200 |
| commit | 7fa72645e5b4eebf299ebdb16b83be4e242b8822 (patch) | |
| tree | 07ee6275856e5d5e89b3341c0bec36da06b55dbe /.gitlab-ci | |
| parent | 31b5bd72ebfc3c77ce3d80aaaaa06f1944dc7213 (diff) | |
| download | NetworkManager-7fa72645e5b4eebf299ebdb16b83be4e242b8822.tar.gz | |
gitlab-ci: make detached MR pipeline for external contributor's pipelines to run
The permissions for running CI will be restricted to external
contributors. It will only work for projects that use "detached MR
pipelines" ([1]).
Note that for it to actually work, a member with permission might have
to go to the "pipeline" tab of the merge request and click "run
pipeline". But this snippet is necessary for that.
[1] https://docs.gitlab.com/ee/ci/pipelines/merge_request_pipelines.html
https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540#what-it-means-for-me-a-maintainer-of-a-project-part-of-gitlabfreedesktoporg
Diffstat (limited to '.gitlab-ci')
| -rw-r--r-- | .gitlab-ci/ci.template | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci/ci.template b/.gitlab-ci/ci.template index a62e9e58e4..a9bb6d4f47 100644 --- a/.gitlab-ci/ci.template +++ b/.gitlab-ci/ci.template @@ -286,3 +286,10 @@ triage:issues: - gitlab-triage -d --token $API_TOKEN --source-id $SOURCE_ID only: - schedules + +# Have detached MR pipeline (https://docs.gitlab.com/ee/ci/pipelines/merge_request_pipelines.html) +# https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540#what-it-means-for-me-a-maintainer-of-a-project-part-of-gitlabfreedesktoporg +workflow: + rules: + - if: $CI_PIPELINE_SOURCE == 'merge_request_event' + - if: $CI_PIPELINE_SOURCE == 'push' |