From 385291f5bd309dfea48629c88ac98ae9c871b299 Mon Sep 17 00:00:00 2001
From: Carlos Henrique Lima Melara <charlesmelara@riseup.net>
Date: Mon, 4 Mar 2024 21:48:46 -0300
Subject: docs: document how to send the tip of debian-branch with gbp push

When --debian-tag is set to '' empty string, gbp will push the tip of
the debian branch to remote.

Small typo fix also: s/branach/branch/
---
 docs/manpages/gbp-push.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/manpages/gbp-push.xml b/docs/manpages/gbp-push.xml
index 1ce5c026..956f4ed3 100644
--- a/docs/manpages/gbp-push.xml
+++ b/docs/manpages/gbp-push.xml
@@ -95,7 +95,7 @@
         <listitem>
           <para>
 	    Don't fail if the &debian-branch; does not match the currently checked out
-	    branach and push the current branch instead.
+	    branch and push the current branch instead.
           </para>
         </listitem>
       </varlistentry>
@@ -114,7 +114,8 @@
 	  <para>
 	    Use this tag format when looking for tags corresponding to a &debian;
 	    version. Default is <replaceable>debian/%(version)s</replaceable>.
-	    If set to the empty value the tag will not be pushed.
+	    If set to the empty value the tag will not be pushed but gbp will
+	    push the tip of the &debian-branch;.
 	  </para>
 	</listitem>
       </varlistentry>
-- 
cgit v1.2.3