Wording "fetch" to change to "pull" or "merge" ti suggest the proper action to take when pull fails?

From: MDW <mdw_git_vger.kernel.org@de-weerd.name>
Date: Oct 5, 2023, 14:31 UTC
Message-ID: <3d513e04f7153e676c7e0b4f6f1e1fa0@de-weerd.name>

Hello

I noticed that the working upon a rejected pull request is "fetch first". However, AFAIK fetching will not help with the pull.

So I suggest to change that wording.

Example:
```bash
$ git push
To ssh://git.exemple.com/user/repo.git
  ! [rejected]            main -> main (fetch first)
error: failed to push some refs to 'ssh://git.exemple.com/user/repo.git'
```

Kind regards

Mario

-- 
GDPR: Personal data is provided only for this communication.
I refuse unsollicited subscriptions to mailing lists
and I refuse commercial use of this personal data.