git-pull: add page

[igorshubovych]

No description provided.

[waldyrious]

Maybe "local repo" instead of "current repo", to further drive the point home? And how about not using jargon (repository instead of repo)? Do you think that's being too cautious?

[waldyrious]

Awesome that you're tackling git commands, it's a sorely needed command to be simply explained :)

[igorshubovych]

@waldyrious I updated the page according to some of your recommendations. let me know what you think.

[leostera]

👍 good start

[waldyrious]

@Ostera can you comment on the discussion above (expand the outdated diff) about how to best describe "remote-tracking branch" in a beginner-friendly manner?

[igorshubovych]

@waldyrious, @Ostera

i don't think that we can do something perfect in the beginning.
Maybe it is better to stop on some good enough variant, merge it and later you or somebody can make a new pull request with improvements.

[waldyrious]

Sure.