Commit Graph

9 Commits (39c288d9771b916e29d842e3c6b5709435e59756)

Author SHA1 Message Date
Waldir Pimenta 83db189282 git-branch: change "upstream" --> "remote"
"upstream" is often used as a synonym for "remote", but we probably should avoid promoting that equivalence, since the terms "upstream" and "downstream" have specific meanings in the context of software dependency, which don't necessarily map with the meanings of "local" and "remote" in the context of computer networks in general (and distributed networks of git repositories in particular).
2017-01-15 21:46:29 +05:30
Waldir Pimenta 5e6ee61bb7 oops, mixed push --prune with fetch --prune 2017-01-15 21:46:29 +05:30
Waldir Pimenta 16f0fc9d50 git-push: revamp page
hopefully making it more useful and explicit
2017-01-15 21:46:29 +05:30
Te-Chi Liu 5a54763c72 fixup: token string style (#1081)
- use underscore rather than minus
- use lower case rather than uppder case
2016-09-21 21:05:46 +05:30
Ruben Vereecken 066582e8ea Formatted all pages according to guidelines. 2016-01-08 09:38:59 +01:00
Igor Shubovych 3e3f3e411e git-tag: add page; git-push: add example of pushing tags 2015-12-20 00:31:52 +02:00
lord63 56a7cba656 Fix lint for common 2015-10-23 08:02:34 +08:00
Daniel Senff a5ea995780 adds two more use cases for git-push 2014-03-28 10:40:40 +01:00
kxy 4d70294f06 split git commands 2014-03-09 13:20:13 +01:00