chore: do not run git fetch in export.sh (#2015)

This commit is contained in:
Yury Semikhatsky 2020-04-28 11:42:01 -07:00 committed by GitHub
parent 62966ba963
commit 910469cd03
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -100,8 +100,6 @@ else
echo "-- checking $FRIENDLY_CHECKOUT_PATH is clean - OK"
fi
git fetch $REMOTE_BROWSER_UPSTREAM $BASE_BRANCH
PATCH_NAME=$(ls -1 $EXPORT_PATH/patches)
if [[ -z "$PATCH_NAME" ]]; then
PATCH_NAME="bootstrap.diff"