diff --git a/dev-support/Jenkinsfile_GitHub b/dev-support/Jenkinsfile_GitHub
index b67afa148f0..63cadeb2bdc 100644
--- a/dev-support/Jenkinsfile_GitHub
+++ b/dev-support/Jenkinsfile_GitHub
@@ -18,10 +18,12 @@
 pipeline {
 
     agent {
-        label 'Hadoop || ubuntu'
+        label 'Hadoop'
     }
 
     options {
+        // N.B. this is per-branch, which means per PR
+        disableConcurrentBuilds()
         buildDiscarder(logRotator(numToKeepStr: '15'))
         timeout (time: 7, unit: 'HOURS')
         timestamps()