diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-09 01:42:43 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-09 13:08:32 +0000 |
commit | e8df5638fc9abd8c502872b2a6f535de9ecf602f (patch) | |
tree | 75ade94b4c003174fa84d80441d6fafada7768c2 /dgit.1 | |
parent | 468edf05661effb0ef4f4dd1efb2df5a61434259 (diff) |
Provide `dgit print-dgit-repos-server-source-url'.
Re:#850521.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -314,6 +314,11 @@ Prints version information and exits. .BI "dgit clone-dgit-repos-server" " destdir" Tries to fetch a copy of the source code for the dgit-repos-server, as actually being used on the dgit git server, as a git tree. +.TP +.BI "dgit print-dgit-repos-server-source-url" +Prints the url used by dgit clone-dgit-repos-server. +This is hopefully suitable for use as a git remote url. +It may not be useable in a browser. .SH OPTIONS .TP .BR --dry-run " | " -n |