diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-20 17:17:06 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-20 23:31:26 +0100 |
commit | e82d9492c0a63d75c96e2ebdbc93300d57927d60 (patch) | |
tree | d704f2377dad8b3eb92a2dcc891b768861d38674 /git-debpush.1.pod | |
parent | d95dee518855473eb8e10acf749b7275ca34bb0e (diff) |
git-debpush: Check upstream source is identical in the upstream tag
Closes: #932476
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Acked-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'git-debpush.1.pod')
-rw-r--r-- | git-debpush.1.pod | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/git-debpush.1.pod b/git-debpush.1.pod index 429148d..a554fd5 100644 --- a/git-debpush.1.pod +++ b/git-debpush.1.pod @@ -200,6 +200,12 @@ Debian unstable after uploading to Debian experimental). Ignore the fact that the upstream tag is not an ancestor of the branch to be tagged (skipping this check is implied by B<--quilt=baredebian>). +=item B<upstream-nonidentical> + +Ignore any differences between the upstream source in the upstream tag +and the upstream source in the branch to be tagged (this check is only +run when using B<--quilt=gbp> or B<--quilt=unapplied>). + =item B<unreleased> Permit upload to a suite called UNRELEASED. |