From 29f0e2edd480d8e54e3b16a925d4d29f9b1d0b23 Mon Sep 17 00:00:00 2001 From: LetterJay Date: Fri, 1 Sep 2017 22:31:16 -0500 Subject: [PATCH] Rename toolsmerge-upstream-pull-request.sh to merge-upstream-pull-request.sh --- ...ge-upstream-pull-request.sh => merge-upstream-pull-request.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{toolsmerge-upstream-pull-request.sh => merge-upstream-pull-request.sh} (100%) diff --git a/tools/toolsmerge-upstream-pull-request.sh b/tools/merge-upstream-pull-request.sh similarity index 100% rename from tools/toolsmerge-upstream-pull-request.sh rename to tools/merge-upstream-pull-request.sh