Git prefetch fix

[pi314ever]

Description

Simple fix for a typo in git fetch: git fetch --refetch --> git fetch --prefetch

Error occurred when I attempted ./webui.sh.

Checklist:

• I have read contributing wiki page
• I have performed a self-review of my own code
• My code follows the style guidelines
• My code passes tests

[w-e-w]

Error? what version of git do you have installed
https://git-scm.com/docs/git-fetch#Documentation/git-fetch.txt---refetch

--refetch
Instead of negotiating with the server to avoid transferring commits and associated objects that are already present locally, this option fetches all objects as a fresh clone would. Use this to reapply a partial clone filter from configuration or using --filter= when the filter definition has changed. Automatic post-fetch maintenance will perform object database pack consolidation to remove any duplicate objects.

[pi314ever]

Error? what version of git do you have installed https://git-scm.com/docs/git-fetch#Documentation/git-fetch.txt---refetch

Ahh I have git 2.34.1, which does not have --refetch. This is the default version for Ubuntu 22.04 LTS