diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 19:34:56 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 04:22:53 +0100 |
commit | 12a39369798685e87a0e67d528bc997eb71d7972 (patch) | |
tree | be8eddba9af0fa51441cd4b7baed911819028b9e /Debian/Dgit/Policy | |
parent | 67fc3a6fb0abda68f201893e16392f6d15ec16e3 (diff) |
dgit: push-source dies if user tried to include uncommitted changes
This does not make sense because you cannot dgit push uncommitted
changes.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'Debian/Dgit/Policy')
0 files changed, 0 insertions, 0 deletions