diff --git a/tools/jenkins-scripts/ghprb.py b/tools/jenkins-scripts/pull-request-builder.py
similarity index 100%
rename from tools/jenkins-scripts/ghprb.py
rename to tools/jenkins-scripts/pull-request-builder.py