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

1 messages from 2023-10-05 to 2023-10-05. Participants: MDW.
Thread: https://gitlist.dev/t/60308

## MDW, 2023-10-05 14:31

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>
URL: https://gitlist.dev/e/3d513e04f7153e676c7e0b4f6f1e1fa0%40de-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.

```