mirror of
https://github.com/git/git
synced 2024-08-25 10:45:59 +00:00
git-fetch: retire update-local-ref which is not used anymore.
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
c7d68c8000
commit
e6eebbb3ae
|
@ -468,12 +468,6 @@ int cmd_fetch__tool(int argc, const char **argv, const char *prefix)
|
|||
fclose(fp);
|
||||
return result;
|
||||
}
|
||||
if (!strcmp("update-local-ref", argv[1])) {
|
||||
if (argc != 5)
|
||||
return error("update-local-ref takes 3 args");
|
||||
return update_local_ref(argv[2], argv[3], argv[4],
|
||||
verbose, force);
|
||||
}
|
||||
if (!strcmp("native-store", argv[1])) {
|
||||
int result;
|
||||
FILE *fp;
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue