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

MDW· Oct 5, 2023, 14:31 UTC · lore

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.