Merge branch 'maint'
commit4cb8a83bb852010de8dc0887a54204a581536866
authorJunio C Hamano <gitster@pobox.com>
Mon, 18 Feb 2013 08:50:33 +0000 (18 00:50 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Feb 2013 08:50:33 +0000 (18 00:50 -0800)
treeaa493fb1f9438b30cb683c07fa2e7ef2cf4c9b92
parent461247b51d8e8594e9317a85dbeb657f696fab5e
parent7ed1690c343dc16dfd5a5493589cbf74d503c238
Merge branch 'maint'

* maint:
  user-manual: use -o latest.tar.gz to create a gzipped tarball
  user-manual: use 'git config --global user.*' for setup
  user-manual: mention 'git remote add' for remote branch config
  user-manual: give 'git push -f' as an alternative to +master
  user-manual: use 'remote add' to setup push URLs
Documentation/user-manual.txt