diff options
| author | Fabio Pitino <fpitino@gitlab.com> | 2019-08-09 11:40:45 +0200 |
|---|---|---|
| committer | Fabio Pitino <fpitino@gitlab.com> | 2019-09-05 15:53:48 +0100 |
| commit | ca6a1f33f91a8cceadebfb9c4e9ac6afa340f71d (patch) | |
| tree | bd9ddad975384be7c022eea49a248ce78ee76445 /.github | |
| parent | 273ba34c9e85269c6f7653727caafc49fa151fd1 (diff) | |
| download | gitlab-ce-ca6a1f33f91a8cceadebfb9c4e9ac6afa340f71d.tar.gz | |
CE port for pipelines for external pull requestsce-detect-github-pull-requests
Detect if pipeline runs for a GitHub pull request
When using a mirror for CI/CD only we register a pull_request
webhook. When a pull_request webhook is received, if the
source branch SHA matches the actual head of the branch in the
repository we create immediately a new pipeline for the
external pull request. Otherwise we store the
pull request info for when the push webhook is received.
When using "only/except: external_pull_requests" we can detect
if the pipeline has a open pull request on GitHub and create or
not the job based on that.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions