4 ms·
On GitHub, too, a "pull request" is literally just asking someone to pull from your branch.
by kragen 1y ago
On GitHub, too, a "pull request" is literally just asking someone to pull from your branch.
- hshdhdhehd 1y agoIsn't it asking someone to pull your branch (if forked) then merge it into to master
- kragen 1y agoGit pull is git fetch plus git merge.
- Sohcahtoa82 1y agoI've run into so many people that think "git pull" doesn't do anything unless you run "git fetch" first. In my 10+ year career, I'm not sure I've ever run "git fetch" manually. I've never had a time where I wanted to fetch upstream changes, but not merge (or rebase) them into my branch.
- kragen 1y agoYeah, I don't remember having done that either. But I've often had changes where the merge failed because of un-checked-in changes, and then it was convenient to be able to run `git merge` after checking in the changes rather than `git pull` because it didn't need to talk to the remote.
- globular-toast 1y agoExcept your branch has to be on GitHub. The point is pulling used to happen across different repos a lot more.