Skip to content

Use Pull Request number instead of ID

Fabio Pitino requested to merge fix-external-pull-request-id into master

What does this MR do?

In https://gitlab.com/gitlab-org/gitlab-ce/issues/65139 we introduced pipelines for GitHub pull requests.

In the previous implementation we stored pull_request.id which is an internal ID from GitHub. Instead we should use pull_request.number.

In this MR we fix that.

Thanks @dosuken123 for spotting this.

Conformity

Edited by Fabio Pitino

Merge request reports