Call git.pull() before performing a fetch, to handle the case where the default branch has been updated.

Closes #10372