dgit: push-source dies if user tried to include uncommitted changes

[dgit.git] / debian / changelog

diff --git a/debian/changelog b/debian/changelog
index c0bbcb9bbfcb5e89b10b59e529729fa288b0fded..d936d228352d1443576d442f0ebc6130b42a4c5d 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,8 @@ dgit (5.11~) unstable; urgency=medium
     configuration key.  Closes:#857316.  [ Sean Whitton. ]
     Still does not always work, due to #863582.
   * dgit: Minor internal improvements.
+  * dgit: Rename --ignore-dirty to --include-dirty (leaving the old
+    name supported as a deprecated alias).
 
  --