Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.kernel.org/pub/scm/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <junkio@cox.net>2007-03-01 04:01:00 +0300
committerJunio C Hamano <junkio@cox.net>2007-03-01 04:01:00 +0300
commite6eebbb3ae2f2831fe1319d5acdb6477b8abeadb (patch)
treeb94ec607c4210c2af90ed25073a0d6711061679f /git-fetch.sh
parentc7d68c80002090bddc1eb740d83818aa0a08bbbe (diff)
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-xgit-fetch.sh8
1 files changed, 0 insertions, 8 deletions
diff --git a/git-fetch.sh b/git-fetch.sh
index f438ac1ef2..4a8d8d6ef7 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