chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbee6af) | patch
dgit: push_source no longer cleans the tree.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 10:16:54 +0000 (11:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 12:00:47 +0000 (13:00 +0100)
commit52eeb586a25be5734ab9e53059f41f5a6e08690c
tree906687a2e167221e8dcdd39c6048f531c37722d9tree | snapshot
parentdbee6afd429a8cf4136a040d95ea10fe3a38520ecommit | diff
dgit: push_source no longer cleans the tree.

This is no longer needed because we always build in a playtree.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.