diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-23 16:03:13 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-23 16:03:13 +0100 |
commit | 7f1d8a2f4545daba6952981e4836b902b32d2005 (patch) | |
tree | 5c35129430a30e08e3287b73e62c49d206e5e812 /dgit | |
parent | 1451f1261ad4420b46e90a44c3c7cae26432994e (diff) |
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>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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, $_; |