Correct the update of a git package.

This modification is useful in a tricky case:
When one is working on a branch whose corresponding
remote branch has been deleted, the pull will not work
Hence, I think it is better to fetch first (this step
may not be mandatory) then update.