git pull
Fetch branch from a remote repository and merge it to local repository.
=> More information.
- Download changes from default remote repository and merge it:
git pull
- Download changes from default remote repository and use fast-forward:
git pull --rebase
- Download changes from given remote repository and branch, then merge them into HEAD:
git pull {remote_name} {branch}
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).
=> CC-BY
Proxy Information
- Original URL
- gemini://freeshell.de/tldr/git-pull.gmi
- Status Code
- Success (20)
- Meta
text/gemini;lang=en-GB
- Capsule Response Time
- 107.198011 milliseconds
- Gemini-to-HTML Time
- 0.334854 milliseconds
This content has been proxied by September (3851b).