repo sync和git pull的区别