chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67fc3a6) | patch
dgit: push-source dies if user tried to include uncommitted changes
authorSean Whitton <spwhitton@spwhitton.name>
Wed, 25 Jul 2018 11:34:56 +0000 (19:34 +0800)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 03:22:53 +0000 (04:22 +0100)
commit12a39369798685e87a0e67d528bc997eb71d7972
treebe8eddba9af0fa51441cd4b7baed911819028b9etree | snapshot
parent67fc3a6fb0abda68f201893e16392f6d15ec16e3commit | 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>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.