diff options
authorIan Jackson <>2014-11-25 15:19:08 +0000
committerIan Jackson <>2014-11-25 15:19:25 +0000
commit660cbb30600507979b3a43a346bcf18901130085 (patch)
parentdd2215fea46334342756a256883cb8d947697bcf (diff)
Document in manpage under `dgit push' that it is best to build with dgit too.
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index b6dd3b2..480dd21 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -54,6 +54,9 @@ dgit (0.23~) unstable; urgency=low
* Reject (rather than ignoring) further options merged witht -wn, -wg,
+ * Document in manpage under `dgit push' that it is best to build with
+ dgit too. Closes:#763333.
dgit (0.22.1) unstable; urgency=high
diff --git a/dgit.1 b/dgit.1
index a2f22f1..260b742 100644
--- a/dgit.1
+++ b/dgit.1
@@ -143,7 +143,10 @@ Tagging, signing and actually uploading should be left to dgit push.
Does an `upload', pushing the current HEAD to the archive (as a source
package) and to dgit-repos (as git commits). The package must already
have been built ready for upload, with the .dsc and .changes
-left in the parent directory.
+left in the parent directory. It is normally best to do the build
+with dgit too (eg with dgit sbuild): some existing build tools pass
+unhelpful options to dpkg-source et al by default, which can result in
+the built source package not being identical to the git tree.
In more detail: dgit push checks that the current HEAD corresponds to
the .dsc. It then pushes the HEAD to the suite's dgit-repos branch,