Pull rather than fetch

This commit is contained in:
Oliver Davies 2017-07-25 19:21:28 +01:00
parent a2639310b0
commit ecd26c0308

View file

@ -12,8 +12,8 @@ BUILD_DIR=".build"
mkdir -p $BUILD_DIR
pushd $BUILD_DIR
cp -R ../.git .
git fetch
git checkout master || git checkout --orphan master
git pull
popd
rm -rf ${BUILD_DIR}/**/* || exit 0