GitHub’s engineering team has moved to Codespaces

Re:GitHub’s engineering team has moved to Codespaces by pdpi on Wednesday August 11, 2021 @10:15PM (#28150876)

I can’t think of a single person I’ve worked with in the last 10 years who understands the difference between vanilla git and GitHub. Nobody really understands why pull requests are named that way, or that it’s possible to have very different workflows to what GitHub offers.

I don’t know that this is the result of a deliberate strategy by GitHub, but by any metric the extend step is a resounding success.

[ Parent | on HN ]

Re:GitHub’s engineering team has moved to Codespaces by maccard on Thursday August 12, 2021 @07:08AM (#28154766)

> I can’t think of a single person I’ve worked with in the last 10 years who understands the difference between vanilla git and GitHub.

If not one developer in a decade can tell the difference between a source control hosting service and a tool they use, that's not really GitHub's problem. This is the same as my parents not konwing that "facebook" isn't the internet.

> Nobody really understands why pull requests are named that way,

Sure they do, the answer is one google search away on the largest Q&A forum for programmers [0]. it was the first google hit for "why are pull requests called pull requests"

> or that it’s possible to have very different workflows to what GitHub offers.

Maybe inside your circle, but plenty of people are aware of different workflows. Some of the largest open source projects in the world exist on github and don't use the pull request workflow (linux kernel, firefox, chromium off the top of my head).

[0] https://stackoverflow.com/questions/14817051/why-does-github...

[ Parent | on HN ]

Re:GitHub’s engineering team has moved to Codespaces by CRConrad on Thursday August 19, 2021 @05:54PM (#28239842)

> If not one developer in a decade can tell the difference between a source control hosting service and a tool they use, that's not really GitHub's problem. This is the same as my parents not konwing that "facebook" isn't the internet.

Nobody said it was GitHub's problem just like nobody said it's Facebook's problem in your example. They're both laughing their heads off all the way to the bank. It's everybody else's problem.

[ Parent | on HN ]

Re:GitHub’s engineering team has moved to Codespaces by oldsecondhand on Wednesday August 11, 2021 @10:41PM (#28151094)

GitHub isn't the only one using pull requests, Stash and Gitlab does too. Pull requests have just become standard workflow without it ever being part of git.

[ Parent | on HN ]

Re:GitHub’s engineering team has moved to Codespaces by thayne on Thursday August 12, 2021 @02:10AM (#28152576)

FWIW, Gitlab calls them merge requests instead of pull requests, which IMO is a more descriptive name.

[ Parent | on HN ]