diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-30 17:55:55 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-30 19:50:48 +0000 |
commit | e9358173d8338dd0e6f37a6779ac863579d33b6e (patch) | |
tree | b1d6f71efd702120da01ce53f0860bbc29d694b8 /dgit | |
parent | 4c09c958f20263601483e0150caf4787a064aa5e (diff) |
Support dgit --delayed= push
(with a warning in the manpage about possible skew).
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
@@ -5603,6 +5603,9 @@ sub parseopts () { } elsif (m/^--overwrite=(.+)$/s) { push @ropts, $_; $overwrite_version = $1; + } elsif (m/^--delayed=(\d+)$/s) { + push @ropts, $_; + push @dput, $_; } elsif (m/^--dgit-view-save=(.+)$/s) { push @ropts, $_; $split_brain_save = $1; |