projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d117dd2) | patch
Documentation: mention `push.default` in git-push.txt
authorRamkumar Ramachandra <artagnon@gmail.com>
Tue, 2 Oct 2012 15:38:00 +0000 (21:08 +0530)
committerJunio C Hamano <gitster@pobox.com>
Tue, 2 Oct 2012 19:07:44 +0000 (12:07 -0700)
commit1ec6f488de495a3b77b6a6b6fb42919f64a4bff0
treecfa7b66939ba9cee6e7f22b89fb078ccc197be15tree | snapshot
parentd117dd20961c132b9db780c72a78ca8ecf7508ebcommit | diff
Documentation: mention `push.default` in git-push.txt

It already is listed in the "git config" documentation, but people
interested in pushing would first look at "git push" documentation.

Noticed-by: David Glasser
Signed-off-by: Ramkumar Ramachandra <artagnon@gmail.com>
Acked-by: Matthieu Moy <Matthieu.Moy@grenoble-inp.fr>
Fixed-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt diff | blob | history
Git—the stupid content tracker