Merge branch 'jk/pull-into-dirty-unborn'
[gitweb.git] / Documentation / git-remote.txt
index 7a6f3546803b8a6d71e44f5123a43397ace1f543..581bb4c413fb70956430bb7359bbee3bbc1a24e6 100644 (file)
@@ -10,7 +10,7 @@ SYNOPSIS
 --------
 [verse]
 'git remote' [-v | --verbose]
-'git remote add' [-t <branch>] [-m <master>] [-f] [--tags|--no-tags] [--mirror=<fetch|push>] <name> <url>
+'git remote add' [-t <branch>] [-m <master>] [-f] [--[no-]tags] [--mirror=<fetch|push>] <name> <url>
 'git remote rename' <old> <new>
 'git remote remove' <name>
 'git remote set-head' <name> (-a | -d | <branch>)