The little tiny '+' in the git fetch is very important for us.

I missed this on accident in the last version.
This should improve fetching some force pushed repositories.

I think there may still be problems with not pruning origin, but let's
see if this solves some of the problems before adding another command.