10 Commits (e0a57e00b6474231c6a1793d81287eb98f9f8604)

Author	SHA1	Message	Date
Starbeamrainbowlabs	a19866e88a	multiple pages: add homepages (#2660)	2019-01-30 11:19:23 +00:00
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