{"thread":{"id":"60308","subject":"Wording \"fetch\" to change to \"pull\" or \"merge\" ti suggest the proper action to take when pull fails?","startedAt":"2023-10-05T16:17:59Z","lastAt":"2023-10-05T16:17:59Z","messageCount":1,"participants":["MDW"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"482691","messageId":"3d513e04f7153e676c7e0b4f6f1e1fa0@de-weerd.name","threadId":"60308","inReplyTo":null,"subject":"Wording \"fetch\" to change to \"pull\" or \"merge\" ti suggest the proper action to take when pull fails?","fromName":"MDW","fromEmail":"mdw_git_vger.kernel.org@de-weerd.name","sentAt":"2023-10-05T14:31:55Z","receivedAt":"2023-10-05T16:17:59Z","isPatch":false,"sender":{"key":"mdw_git_vger.kernel.org@de-weerd.name","avatar":null},"body":"Hello\n\nI noticed that the working upon a rejected pull request is \"fetch \nfirst\".\nHowever, AFAIK fetching will not help with the pull.\n\nSo I suggest to change that wording.\n\nExample:\n```bash\n$ git push\nTo ssh://git.exemple.com/user/repo.git\n  ! [rejected]            main -> main (fetch first)\nerror: failed to push some refs to 'ssh://git.exemple.com/user/repo.git'\n```\n\nKind regards\n\nMario\n\n-- \nGDPR: Personal data is provided only for this communication.\nI refuse unsollicited subscriptions to mailing lists\nand I refuse commercial use of this personal data.\n"}]}