dgit: Provide --for-push option

This is much more conveient and in some cases sensible than
 -cdgit-distro.DISTRO.readonly=0

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

1 files changed, 3 insertions, 0 deletions

diff --git a/dgit b/dgit
index 924428c..ca6fe56 100755
--- a/dgit
+++ b/dgit
@@ -7604,6 +7604,9 @@ sub parseopts () {
 		    f_ "%s: warning: ignoring unknown force option %s\n",
 		       $us, $_;
 		$_='';
+	    } elsif (m/^--for-push$/s) {
+		push @ropts, $_;
+		$access_forpush = 1;
 	    } elsif (m/^--config-lookup-explode=(.+)$/s) {
 		# undocumented, for testing
 		push @ropts, $_;