Fix git source updating.

There's no need to clean/reset here because it's the cache and it's
always pristine.

However, fetch is not enough, because it doesn't merge in the new
changes, so make it pull instead.