diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 19:36:52 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 10:23:53 +0100 |
commit | 340a659359f6e9537513355fcbd7309c4d45a10d (patch) | |
tree | 304b2212607e02dc9c9911fc9329ea75e3d8e69b /infra | |
parent | 07437a3fe514da7990300b2fd594adff49685de5 (diff) |
dgit: build_source_for_push does not try to unapply patches
build_source_for_push should now always build in a worktree, so
patches should never be applied dirtily to $maindir. Die if it turns
out they were.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'infra')
0 files changed, 0 insertions, 0 deletions