From 65db441d29ebf0dd0f8efb1fba19afd1fdd61fb2 Mon Sep 17 00:00:00 2001
From: Marc Herbert <marc.herbert@intel.com>
Date: Fri, 23 Oct 2020 16:23:58 -0700
Subject: [PATCH] Rename tools/shellcheck-gitrange.bash to
 tools/CI/check-gitrange.bash

No code change yet to make sure git can follow the rename

Signed-off-by: Marc Herbert <marc.herbert@intel.com>
---
 .travis.yml                                                | 2 +-
 tools/{shellcheck-gitrange.bash => CI/check-gitrange.bash} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename tools/{shellcheck-gitrange.bash => CI/check-gitrange.bash} (100%)

diff --git a/.travis.yml b/.travis.yml
index b5e5efdc..5a7f353a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,4 +23,4 @@ jobs:
 
     - name: "shellcheck"
       # Triple-dotted 'origin/master...HEAD'
-      script: ./tools/shellcheck-gitrange.bash "${TRAVIS_COMMIT_RANGE}"
+      script: ./tools/CI/check-gitrange.bash "${TRAVIS_COMMIT_RANGE}"
diff --git a/tools/shellcheck-gitrange.bash b/tools/CI/check-gitrange.bash
similarity index 100%
rename from tools/shellcheck-gitrange.bash
rename to tools/CI/check-gitrange.bash