Whitespace tweak

This commit is contained in:
Ivan Malison 2016-12-29 17:14:52 -08:00
parent 642c5085f5
commit dd8c3ab003
No known key found for this signature in database
GPG Key ID: 62530EFBE99DC2F8

View File

@ -63,7 +63,6 @@ git fetch origin master
if [ "$(git rev-parse origin/master)" == "$SHA" ]; then if [ "$(git rev-parse origin/master)" == "$SHA" ]; then
git push "$SSH_REPO" "$TARGET_BRANCH" git push "$SSH_REPO" "$TARGET_BRANCH"
else else
echo "The commit this build was started for is not the one on master. Doing nothing." echo "The commit this build was started for is not the one on master. Doing nothing."
fi fi