summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo3
1 files changed, 3 insertions, 0 deletions
diff --git a/repo b/repo
index 6d3e8c2f..998731c6 100755
--- a/repo
+++ b/repo
@@ -190,6 +190,9 @@ group.add_option('--mirror',
190group.add_option('--reference', 190group.add_option('--reference',
191 dest='reference', 191 dest='reference',
192 help='location of mirror directory', metavar='DIR') 192 help='location of mirror directory', metavar='DIR')
193group.add_option('--dissociate',
194 dest='dissociate', action='store_true',
195 help='dissociate from reference mirrors after clone')
193group.add_option('--depth', type='int', default=None, 196group.add_option('--depth', type='int', default=None,
194 dest='depth', 197 dest='depth',
195 help='create a shallow clone with given depth; see git clone') 198 help='create a shallow clone with given depth; see git clone')