[Blackthorn]

They used the phrase pull request, which means GitHub, because git does not have a concept of "pull request".

[keybored]

To request a pull has been a term in git(1) since 2005.

https://opensource.stackexchange.com/a/380/30121

(Is this pedantic? I guess in a lot of contexts. But you talked about the original, intended way to do it. So it seems on-topic here.)

[Blackthorn]

Yes, pull is old. Pull request, which the original poster was explicitly discussing, is a GitHub thing.

[keybored]

I was talking about “pull request”. So is the link I used.

[Blackthorn]

Right. It discussed the command "git request-pull". I do not believe the phrase "pull request" existed until GitHub popularized it.

[CRConrad]

> It discussed the command "git request-pull".

In git syntax, the command is "git request-pull".

What's that in natural language? Perhaps... "A pull request"?

[keybored]

Email: Hi, please pull the latest changes from dot dot dot

What kind of email is that?

[Blackthorn]

Can we take a step back here and ask what point you are trying to make?

A user (who wasn't you) called me out for talking about GitHub instead of git, and I said it was perfectly fair because the original discussion was specifically about sending pull requests, which is a term we only talk about in 2024 because GitHub made it a thing. Therefore, it's entirely fair to discuss it in the context of GitHub and not git.

Now we are five posts down into this bizarre tangent and I am unsure what point, if any, you are trying to raise here. That people now use the term pull requests when not using GitHub? I don't think I've seen it anywhere except for hosted services, but my experience is not universal.