diff options
| -rw-r--r-- | Documentation/git-branch.txt | 7 | ||||
| -rwxr-xr-x | git-branch.sh | 2 |
2 files changed, 6 insertions, 3 deletions
diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt index d20b475735..b1bc8272eb 100644 --- a/Documentation/git-branch.txt +++ b/Documentation/git-branch.txt @@ -7,7 +7,7 @@ git-branch - Create a new branch, or remove an old one. SYNOPSIS -------- -'git-branch' [-d | -D] [<branchname> [start-point]] +'git-branch' [(-d | -D) <branchname>] | [[-f] <branchname> [<start-point>]] DESCRIPTION ----------- @@ -25,10 +25,13 @@ OPTIONS -D:: Delete a branch irrespective of its index status. +-f:: + Force a reset of <branchname> to <start-point> (or current head). + <branchname>:: The name of the branch to create or delete. -start-point:: +<start-point>:: Where to create the branch; defaults to HEAD. This option has no meaning with -d and -D. diff --git a/git-branch.sh b/git-branch.sh index b0e54ed2af..6ac961e6d1 100755 --- a/git-branch.sh +++ b/git-branch.sh @@ -1,6 +1,6 @@ #!/bin/sh -USAGE='[-d <branch>] | [[-f] <branch> [start-point]]' +USAGE='[(-d | -D) <branchname>] | [[-f] <branchname> [<start-point>]]' LONG_USAGE='If no arguments, show available branches and mark current branch with a star. If one argument, create a new branch <branchname> based off of current HEAD. If two arguments, create a new branch <branchname> based off of <start-point>.' |