aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorCarlos Henrique Lima Melara <charlesmelara@riseup.net>2024-03-04 21:48:46 -0300
committerGuido Günther <agx@sigxcpu.org>2024-03-05 19:03:42 +0100
commit385291f5bd309dfea48629c88ac98ae9c871b299 (patch)
tree801dee0dedd97b250568c13ca8c850fc3903bbc3
parent026cd23c801687b4070a44891dbe439a8be1a73b (diff)
docs: document how to send the tip of debian-branch with gbp pushHEADmaster
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/
-rw-r--r--docs/manpages/gbp-push.xml5
1 files 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>