Use 'git remote update --prune' instead of 'git fetch origin'

This way multiple source repositories may be configured to pull updates
from.