From 60c1ff159642470b0706489a14b4064ebfa10a72 Mon Sep 17 00:00:00 2001 From: Robert Winkler Date: Thu, 26 Nov 2020 13:44:25 +0100 Subject: [PATCH] ci: Move CI scripts to another directory Signed-off-by: Robert Winkler --- .github/{travis => scripts}/common.sh | 0 .github/{travis => scripts}/git-check.sh | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename .github/{travis => scripts}/common.sh (100%) rename .github/{travis => scripts}/git-check.sh (94%) diff --git a/.github/travis/common.sh b/.github/scripts/common.sh similarity index 100% rename from .github/travis/common.sh rename to .github/scripts/common.sh diff --git a/.github/travis/git-check.sh b/.github/scripts/git-check.sh similarity index 94% rename from .github/travis/git-check.sh rename to .github/scripts/git-check.sh index b88c2db..654eaf9 100755 --- a/.github/travis/git-check.sh +++ b/.github/scripts/git-check.sh @@ -1,6 +1,6 @@ set -e -source .github/travis/common.sh +source .github/scripts/common.sh # Output any changes in the repository # ------------------------------------------------------------------------