From 38fb354a09c4b3122a639f83fea2d40637e7172f Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kodama.kitenet.net>
Date: Thu, 21 Aug 2008 16:48:49 -0400
Subject: [PATCH] Pass additional options to darcs push when pushing. Closes:
 #495734

---
 debian/changelog | 1 +
 mr               | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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 "$@"
-- 
2.39.2