From b8dc0c68b71f510bfc0b494426a5d8a5014a2631 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Tue, 4 Mar 2014 21:41:30 +0100
Subject: Add documentation for the push command

---
 doc/gitto.texi | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/doc/gitto.texi b/doc/gitto.texi
index 0469a09..a1a3344 100644
--- a/doc/gitto.texi
+++ b/doc/gitto.texi
@@ -271,6 +271,23 @@ repository. Each hook is a symlink to the configured executable.
 @end deffn
 @end deffn
 
+In case you can't be bothered to go to whichever location you need to
+go to in order to push a repository, or have a bunch of repositories
+which all need a push, you can use the @command{push} command.
+
+@deffn Command push [repository]
+Pushes all branches of all repositories to their default upstream by
+using
+
+@example
+git push -all
+@end example
+
+@noindent
+on each registered repository. If @var{repository} has been specified,
+call it only on that repository.
+@end deffn
+
 Lastly, if you're confused about gitto, you can use the @command{help}
 command, and if you forgot which version of gitto you were using you can
 use the @command{version} command.
-- 
cgit v1.2.3-54-g00ecf