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 /infra | |
| 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 'infra')
0 files changed, 0 insertions, 0 deletions