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 /dgit.1 | |
parent | dd2215fea46334342756a256883cb8d947697bcf (diff) |
Document in manpage under `dgit push' that it is best to build with dgit too.
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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, |