Merge pull request #22 from github/split

better?
This commit is contained in:
Lukas Gravley 2019-12-03 15:01:55 -06:00 committed by GitHub
commit 2e20924143
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2008,7 +2008,7 @@ BuildFileList()
##################################################################### #####################################################################
# Switch codebase back to master to get a list of all files changed # # Switch codebase back to master to get a list of all files changed #
##################################################################### #####################################################################
SWITCH_CMD=$(cd "$GITHUB_WORKSPACE" || exit; git pull; git checkout master origin/master 2>&1) SWITCH_CMD=$(cd "$GITHUB_WORKSPACE" || exit; git pull; git checkout master 2>&1)
####################### #######################
# Load the error code # # Load the error code #