diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-20 13:38:12 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-20 13:38:12 +0100 |
commit | 1067f7e8771822d3279da1d807dcb2c8e37f5f40 (patch) | |
tree | bb70a144c73af7f0d540eea3d84f4406448e17a8 | |
parent | 5e0677e5f022d5e4fb6869c90adcab407c60e74f (diff) |
Manpage: Clarify wording of readonly config.
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | dgit.1 | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 82556d0..dfcfcbd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -18,6 +18,7 @@ dgit (1.1) unstable; urgency=low not imply/assume that existing git history will have identical trees to dgit history. * Remove stray sentence in config section of manpage. + * Manpage: Clarify wording of readonly config. -- @@ -607,8 +607,8 @@ The default distro for an unknown suite. .BR dgit-distro. \fIdistro\fR .readonly " " auto | a " | " true | t | y | 1 " | " false | f | n | 0 Whether you have push access to the distro. For Debian, it is OK to use auto, which uses readonly mode if you are -not pushing right now, -but setting this to false will avoid relying on the mirror of the dgit +not pushing right now; +but, setting this to false will avoid relying on the mirror of the dgit git repository server. .TP .BI dgit-distro. distro .keyid |