This is an automated email from the ASF dual-hosted git repository.
bneradt pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/trafficserver-ci.git
The following commit(s) were added to refs/heads/main by this push:
new fad7694 Fix GitHub PR pipeline refspec syntax (#438)
fad7694 is described below
commit fad769462d6538e6505b5e5ee4ee6649e7ad46ea
Author: Brian Neradt <[email protected]>
AuthorDate: Wed Jun 10 18:48:25 2026 -0500
Fix GitHub PR pipeline refspec syntax (#438)
The narrowed PR refspec change left the GitSCM checkout map one closing
bracket short in every GitHub PR child pipeline. Jenkins fails while
parsing those pipeline scripts, so affected PR jobs stop before they can
run any build steps.
This restores the missing list/map close on each userRemoteConfigs entry
and fixes the repeated identity comment typo while touching the same
checkout block.
---
jenkins/github/autest.pipeline | 4 ++--
jenkins/github/centos.pipeline | 4 ++--
jenkins/github/clang-analyzer.pipeline | 4 ++--
jenkins/github/debian.pipeline | 4 ++--
jenkins/github/docs.pipeline | 4 ++--
jenkins/github/fedora.pipeline | 4 ++--
jenkins/github/format.pipeline | 4 ++--
jenkins/github/freebsd.pipeline | 4 ++--
jenkins/github/osx.pipeline | 4 ++--
jenkins/github/rat.pipeline | 4 ++--
jenkins/github/rocky-asan.pipeline | 4 ++--
jenkins/github/rocky.pipeline | 4 ++--
jenkins/github/ubuntu.pipeline | 4 ++--
13 files changed, 26 insertions(+), 26 deletions(-)
diff --git a/jenkins/github/autest.pipeline b/jenkins/github/autest.pipeline
index c9e6f2d..7bac9a3 100644
--- a/jenkins/github/autest.pipeline
+++ b/jenkins/github/autest.pipeline
@@ -46,7 +46,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true, timeout: 20],
- // We have to set an idenity for the merge step because Git
requires
+ // We have to set an identity for the merge step because Git
requires
// the user.name and user.email to be set to do a merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -62,7 +62,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/centos.pipeline b/jenkins/github/centos.pipeline
index ccba76e..a3b453f 100644
--- a/jenkins/github/centos.pipeline
+++ b/jenkins/github/centos.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/clang-analyzer.pipeline
b/jenkins/github/clang-analyzer.pipeline
index 6c60359..3dc4549 100644
--- a/jenkins/github/clang-analyzer.pipeline
+++ b/jenkins/github/clang-analyzer.pipeline
@@ -16,7 +16,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -32,7 +32,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/debian.pipeline b/jenkins/github/debian.pipeline
index ac223c6..929e343 100644
--- a/jenkins/github/debian.pipeline
+++ b/jenkins/github/debian.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/docs.pipeline b/jenkins/github/docs.pipeline
index 5b05109..0b57d56 100644
--- a/jenkins/github/docs.pipeline
+++ b/jenkins/github/docs.pipeline
@@ -17,7 +17,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -33,7 +33,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/fedora.pipeline b/jenkins/github/fedora.pipeline
index 7c738a8..9c09a5d 100644
--- a/jenkins/github/fedora.pipeline
+++ b/jenkins/github/fedora.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/format.pipeline b/jenkins/github/format.pipeline
index d991368..d5d5181 100644
--- a/jenkins/github/format.pipeline
+++ b/jenkins/github/format.pipeline
@@ -17,7 +17,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -33,7 +33,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/freebsd.pipeline b/jenkins/github/freebsd.pipeline
index a3aba4d..e13d31c 100644
--- a/jenkins/github/freebsd.pipeline
+++ b/jenkins/github/freebsd.pipeline
@@ -9,7 +9,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -25,7 +25,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/osx.pipeline b/jenkins/github/osx.pipeline
index 8186a18..07f6c43 100644
--- a/jenkins/github/osx.pipeline
+++ b/jenkins/github/osx.pipeline
@@ -9,7 +9,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -25,7 +25,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/rat.pipeline b/jenkins/github/rat.pipeline
index d271d5c..8e3522f 100644
--- a/jenkins/github/rat.pipeline
+++ b/jenkins/github/rat.pipeline
@@ -17,7 +17,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -33,7 +33,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/rocky-asan.pipeline
b/jenkins/github/rocky-asan.pipeline
index b6a0037..2453ac7 100644
--- a/jenkins/github/rocky-asan.pipeline
+++ b/jenkins/github/rocky-asan.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/rocky.pipeline b/jenkins/github/rocky.pipeline
index ec6222a..790b5e7 100644
--- a/jenkins/github/rocky.pipeline
+++ b/jenkins/github/rocky.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
diff --git a/jenkins/github/ubuntu.pipeline b/jenkins/github/ubuntu.pipeline
index 87b1b02..332d01a 100644
--- a/jenkins/github/ubuntu.pipeline
+++ b/jenkins/github/ubuntu.pipeline
@@ -20,7 +20,7 @@ pipeline {
branches: [[name: sha1]],
extensions: [
[$class: 'CloneOption', honorRefspec: true,
timeout: 20],
- // We have to set an idenity for the merge step
because Git requires
+ // We have to set an identity for the merge step
because Git requires
// the user.name and user.email to be set to do a
merge.
[$class: "UserIdentity",
name: "ATS CI User",
@@ -36,7 +36,7 @@ pipeline {
],
],
userRemoteConfigs: [[url: github_url,
- refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]])
+ refspec:
"+refs/heads/${GITHUB_PR_TARGET_BRANCH}:refs/remotes/origin/${GITHUB_PR_TARGET_BRANCH}
+refs/pull/${GITHUB_PR_NUMBER}/head:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/head
+refs/pull/${GITHUB_PR_NUMBER}/merge:refs/remotes/origin/pr/${GITHUB_PR_NUMBER}/merge"]]])
sh '''#!/bin/bash
set -x
