Use git pull if the repository exists

Use git pull if the repository exists, this is more error proof and sufficient since the ce and ee repositories are huge.

Mentioned in issue infrastructure#427 (closed)

Status changed to merged

Mentioned in commit da94ec49