repo sync
while [ $? = 1 ]; do
	echo "Sync failed, repeat again:"
	repo sync
done