diff options
author | Sergey Vlasov <vsu@altlinux.ru> | 2005-09-14 16:48:05 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-09-16 00:16:31 +0400 |
commit | 61420a2cb45c01e55d5bfc6abc632b9a41bb73a7 (patch) | |
tree | 66403671f1045aa1478e8b5210f91497b0ffd8b8 | |
parent | 60d0526aaa5d29589420bfadd0623ec878c5edf3 (diff) |
[PATCH] Document git-fetch options
Add documentation for git-fetch options
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r-- | Documentation/git-fetch.txt | 6 | ||||
-rw-r--r-- | Documentation/pull-fetch-param.txt | 11 |
2 files changed, 17 insertions, 0 deletions
diff --git a/Documentation/git-fetch.txt b/Documentation/git-fetch.txt index 017f646601..8c1cc07048 100644 --- a/Documentation/git-fetch.txt +++ b/Documentation/git-fetch.txt @@ -26,6 +26,12 @@ OPTIONS ------- include::pull-fetch-param.txt[] +-u, \--update-head-ok:: + By default 'git-fetch' refuses to update the head which + corresponds to the current branch. This flag disables the + check. Note that fetching into the current branch will not + update the index and working directory, so use it with care. + Author ------ diff --git a/Documentation/pull-fetch-param.txt b/Documentation/pull-fetch-param.txt index 8f6b68cb55..8642182c89 100644 --- a/Documentation/pull-fetch-param.txt +++ b/Documentation/pull-fetch-param.txt @@ -80,3 +80,14 @@ <ref>: when pulling/fetching, and <ref>:<ref> when pushing. That is, do not store it locally if fetching, and update the same name if pushing. + +-a, \--append:: + Append ref names and object names of fetched refs to the + existing contents of $GIT_DIR/FETCH_HEAD. Without this + option old data in $GIT_DIR/FETCH_HEAD will be overwritten. + +-f, \--force:: + Usually, the command refuses to update a local ref that is + not an ancestor of the remote ref used to overwrite it. + This flag disables the check. What this means is that the + local repository can lose commits; use it with care. |