Fix repo sync error

The projects are not a part of repo manifest.
'git pull' instead.