diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-11 19:22:31 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-11 22:08:40 +0000 |
commit | 4d1f17eea6169d137cc5bbb4d4e0d7235b998322 (patch) | |
tree | 5d58879065e1bb53c0e41cd5b7c4f4e81cdeecf1 /dgit.1 | |
parent | 986b22a31c6cc01b5e3a1ec62574f15e4fc31004 (diff) |
dgit(1): Fix wording for push (configurable alias)
* It will be an alias for "push-source", not for itself.
* Add "in the future"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -305,8 +305,8 @@ public key in its keyring (but not your private key, obviously). \fBdgit push\fR \fI...\fP Configurable alias for .BR "dgit push-built" , -which will change to mean -.BR "dgit push" , +which will in the future change to mean +.BR "dgit push-source" , and therefore currently generates a warning. The behaviour is controlled by the |