Merge pull request #405 from github/SkipGit

small fix for git folder
This commit is contained in:
Lukas Gravley 2020-07-10 09:54:25 -05:00 committed by GitHub
commit 030b94e178
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 1 deletions

View file

@ -26,7 +26,7 @@ function BuildFileList() {
# Switch codebase back to the default branch to get a list of all files changed #
#################################################################################
SWITCH_CMD=$(
git -C "$GITHUB_WORKSPACE" pull --quiet
# git -C "$GITHUB_WORKSPACE" pull --quiet
git -C "$GITHUB_WORKSPACE" checkout "$DEFAULT_BRANCH" 2>&1
)

View file

@ -142,6 +142,9 @@ function LintCodebase() {
elif [[ $FILE == *"$TEST_CASE_FOLDER"* ]]; then
# This is the test cases, we should always skip
continue
elif [[ $FILE == *".git"* ]]; then
# This is likely the .git folder and shouldnt be parsed
continue
fi
##############