5 ms·

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

keybored 2y ago
To request a pull has been a term in git(1) since 2005. https://opensource.stackexchange.com/a/380/30121 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 2y ago
  Yes, pull is old. Pull request, which the original poster was explicitly discussing, is a GitHub thing.
  - keybored 2y ago
    I was talking about “pull request”. So is the link I used.
    - Blackthorn 2y ago
      Right. It discussed the command "git request-pull". I do not believe the phrase "pull request" existed until GitHub popularized it.
      - keybored 2y ago
        Email: Hi, please pull the latest changes from dot dot dot What kind of email is that?
        Blackthorn 2y ago
        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.
        keybored 2y ago
        We don’t have to rehash things. Let’s chalk it up to me getting some wires crossed. (It took me until writing half of the original reply to realize. Hah!)
      - CRConrad 2y ago
        > 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"?

To request a pull has been a term in git(1) since 2005. https://opensource.stackexchange.com/a/380/30121 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 2y ago
Yes, pull is old. Pull request, which the original poster was explicitly discussing, is a GitHub thing.
- keybored 2y ago
  I was talking about “pull request”. So is the link I used.
  - Blackthorn 2y ago
    Right. It discussed the command "git request-pull". I do not believe the phrase "pull request" existed until GitHub popularized it.
    - keybored 2y ago
      Email: Hi, please pull the latest changes from dot dot dot What kind of email is that?
      - Blackthorn 2y ago
        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.
        keybored 2y ago
        We don’t have to rehash things. Let’s chalk it up to me getting some wires crossed. (It took me until writing half of the original reply to realize. Hah!)
    - CRConrad 2y ago
      > 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"?