infra: Pass distro to dgit-repos-server

[dgit.git] / dgit.1

diff --git a/dgit.1 b/dgit.1
index a2f22f1495a54541a9dcff91cea6d1035b6a1321..260b742d8421efbd92c91ba7e2b08e63c64ce588 100644 (file)
--- 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,