diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 16:12:12 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 16:12:38 +0100 |
| commit | f7d222ee9782806cd05d7a82595c142096c3bd04 (patch) | |
| tree | 47d80a382301e74417296712f0b6821e3188c189 /dgit.1 | |
| parent | edb1f92ab38d37b03452ca65e5b8394e512fffe8 (diff) | |
Infra: Provide dgit clone-dgit-repos-server
Diffstat (limited to 'dgit.1')
| -rw-r--r-- | dgit.1 | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -202,6 +202,10 @@ ask it to generate a single squashed patch instead. .TP .B dgit version Prints version information and exits. +.TP +.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. .SH OPTIONS .TP .BR --dry-run | -n |