chiark / gitweb /
dgit(1): Clarify that --overwrite does nothing if not needed.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 21 Jun 2018 00:22:24 +0000 (01:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 21 Jun 2018 00:32:31 +0000 (01:32 +0100)
Closes:#863578.  Related to #863576 too.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog
dgit.1

index 437bd53..df25a84 100644 (file)
@@ -1,6 +1,8 @@
 dgit (5.2~) unstable; urgency=medium
 
   * dgit(1): Mention under `dgit build' that it uses the network.
+  * dgit(1): Clarify that --overwrite does nothing if not needed.
+    Closes:#863578.
 
   dgit:
   * When all Debian changes vanish with single-debian-patch,
diff --git a/dgit.1 b/dgit.1
index ef5236a..6ee22e8 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -489,7 +489,7 @@ push will still ensure that the .dsc you upload and the git tree
 you push are identical, so this option won't make broken pushes.)
 .TP
 .BR --overwrite [=\fIprevious-version\fR]
-Declare that even though your git branch is not a descendant
+Declare that even though your git branch may not be a descendant
 of the version in the archive
 according to the revision history,
 it really does contain
@@ -510,7 +510,7 @@ changes unless someone committed to git a finalised changelog
 entry, and then made later changes to that version.)
 
 dgit push --overwrite
-will make a
+will, if necessary, make a
 pseudo-merge (that is, something that looks like the result
 of git merge -s ours) to stitch the archive's version into your own
 git history, so that your push is a fast forward from the archive.