diff options
author | Junio C Hamano <junkio@cox.net> | 2007-02-28 17:01:00 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-02-28 17:01:00 -0800 |
commit | e6eebbb3ae2f2831fe1319d5acdb6477b8abeadb (patch) | |
tree | b94ec607c4210c2af90ed25073a0d6711061679f /git-fetch.sh | |
parent | c7d68c80002090bddc1eb740d83818aa0a08bbbe (diff) | |
download | git-e6eebbb3ae2f2831fe1319d5acdb6477b8abeadb.tar.gz git-e6eebbb3ae2f2831fe1319d5acdb6477b8abeadb.tar.xz |
git-fetch: retire update-local-ref which is not used anymore.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-fetch.sh')
-rwxr-xr-x | git-fetch.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index f438ac1ef..4a8d8d6ef 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -114,14 +114,6 @@ append_fetch_head () { git-fetch--tool $flags append-fetch-head "$@" } -update_local_ref () { - flags= - test -n "$verbose" && flags="$flags -v" - test -n "$force" && flags="$flags -f" - GIT_REFLOG_ACTION="$GIT_REFLOG_ACTION" \ - git-fetch--tool $flags update-local-ref "$@" -} - # updating the current HEAD with git-fetch in a bare # repository is always fine. if test -z "$update_head_ok" && test $(is_bare_repository) = false |