diff options
| author | Sergey Vlasov <vsu@altlinux.ru> | 2005-09-14 16:48:05 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-09-15 13:16:31 -0700 |
| commit | 61420a2cb45c01e55d5bfc6abc632b9a41bb73a7 (patch) | |
| tree | 66403671f1045aa1478e8b5210f91497b0ffd8b8 /Documentation/pull-fetch-param.txt | |
| parent | 60d0526aaa5d29589420bfadd0623ec878c5edf3 (diff) | |
| download | git-61420a2cb45c01e55d5bfc6abc632b9a41bb73a7.tar.gz git-61420a2cb45c01e55d5bfc6abc632b9a41bb73a7.tar.xz | |
[PATCH] Document git-fetch options
Add documentation for git-fetch options
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/pull-fetch-param.txt')
| -rw-r--r-- | Documentation/pull-fetch-param.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Documentation/pull-fetch-param.txt b/Documentation/pull-fetch-param.txt index 8f6b68cb5..8642182c8 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. |