diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-25 15:19:08 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-25 15:19:25 +0000 |
commit | 660cbb30600507979b3a43a346bcf18901130085 (patch) | |
tree | c959c5b761db39ab61478faefa8d6e6fe523e2c5 | |
parent | dd2215fea46334342756a256883cb8d947697bcf (diff) |
Document in manpage under `dgit push' that it is best to build with dgit too.
-rw-r--r-- | debian/changelog | 3 | ||||
-rw-r--r-- | dgit.1 | 5 |
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, -wd. + * Document in manpage under `dgit push' that it is best to build with + dgit too. Closes:#763333. + -- dgit (0.22.1) unstable; urgency=high @@ -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, |