From b4a4b70e22ee76a7596839928c7f8d81364b2189 Mon Sep 17 00:00:00 2001 From: heliclei Date: Fri, 10 Jan 2014 17:45:28 +0800 Subject: [PATCH] rename ghprb.py to pull-request-builder.py --- tools/jenkins-scripts/{ghprb.py => pull-request-builder.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/jenkins-scripts/{ghprb.py => pull-request-builder.py} (100%) 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