[Jenkins] Fix setGitHubPullRequestStatus for PR #85
Labels
effort: low
The issue will probably take a single contributor no more than one day of work to resolve.
meta: good first issue
The issue is especially suitable for first-time contributors.
priority: trivial
The issue has very little impact on people using the software.
type: integration
The issue involves interactions with other software.
Jenkins currently submits continuous-integration/jenkins/branch instead of continuous-integration/jenkins/pr-merge PRs.
The text was updated successfully, but these errors were encountered: