From: MDW <mdw_git_vger.kernel.org@de-weerd.name>
Date: Thu, 05 Oct 2023 14:31:55 GMT
Subject: Wording "fetch" to change to "pull" or "merge" ti suggest the proper action to take when pull fails?
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.