diff options
| author | Ramkumar Ramachandra <artagnon@gmail.com> | 2012-10-02 21:08:00 +0530 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-10-02 12:07:44 -0700 |
| commit | 1ec6f488de495a3b77b6a6b6fb42919f64a4bff0 (patch) | |
| tree | cfa7b66939ba9cee6e7f22b89fb078ccc197be15 /po | |
| parent | d117dd20961c132b9db780c72a78ca8ecf7508eb (diff) | |
| download | git-1ec6f488de495a3b77b6a6b6fb42919f64a4bff0.tar.gz git-1ec6f488de495a3b77b6a6b6fb42919f64a4bff0.tar.xz | |
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>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions