summaryrefslogtreecommitdiff
path: root/dgit.1
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-19 15:50:57 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-19 19:37:08 +0100
commitb4fb53aea490a1e6e401712bc23cc790638e1dcc (patch)
tree4cffb77f5447d11976eac9a890de5a808eb260f1 /dgit.1
parent175b4406b72856290aca44d0f06671a452537dfe (diff)
Make readonly vs push configurable
Diffstat (limited to 'dgit.1')
-rw-r--r--dgit.18
1 files changed, 8 insertions, 0 deletions
diff --git a/dgit.1 b/dgit.1
index 3e402e1..dd083ac 100644
--- a/dgit.1
+++ b/dgit.1
@@ -597,6 +597,14 @@ on the dgit command line.
.TP
.BI dgit.default.distro
.TP
+.BR dgit-distro. \fIdistro\fR .readonly " " auto | true | false
+.TP
+.BR dgit-distro. \fIdistro\fR /push. *
+If set, overrides corresponding non \fB/push\fR config when
+.BR readonly=false ,
+or when pushing and
+.BR readonly=auto .
+.TP
.BI dgit-distro. distro .username
.TP
.BI dgit-distro. distro .git-url