From: Joey Hess <joey@kodama.kitenet.net>
Date: Thu, 21 Aug 2008 20:48:49 +0000 (-0400)
Subject: Pass additional options to darcs push when pushing. Closes: #495734
X-Git-Url: https://git.madduck.net/code/myrepos.git/commitdiff_plain/38fb354a09c4b3122a639f83fea2d40637e7172f?hp=adecd54561d17629cb8ca2ec793867ff997f3c0e

Pass additional options to darcs push when pushing. Closes: #495734
---

diff --git a/debian/changelog b/debian/changelog
index 57cbb2c..d5ec431 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ mr (0.35) UNRELEASED; urgency=low
   * Warn if an include command fails nonzero. Closes: #495306
   * Remove stray character in pod that uglified man page. Closes: #495731
   * Create ~/.mrlog not world readable.
+  * Pass additional options to darcs push when pushing. Closes: #495734
 
  -- Joey Hess <joeyh@debian.org>  Fri, 15 Aug 2008 23:26:14 -0400
 
diff --git a/mr b/mr
index 02483f6..182e6b3 100755
--- a/mr
+++ b/mr
@@ -1303,7 +1303,7 @@ git_push = git push "$@"
 bzr_push = bzr push "$@"
 cvs_push = :
 hg_push = hg push "$@"
-darcs_push = darcs push -a
+darcs_push = darcs push -a "$@"
 
 svn_diff = svn diff "$@"
 git_diff = git diff "$@"