8 commits

Author	SHA1	Message	Date
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