diff options
| -rw-r--r-- | docs/manpages/gbp-push.xml | 5 |
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> |