diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-08-25 09:46:07 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-25 09:46:07 +0400 |
| commit | 8572aa85a7f1e9377f44b816788ced4306cf427b (patch) | |
| tree | 002d32aecf30b4e814c39dd5e309b645547d4df6 /git-fetch-script | |
| parent | 3857284f7b892f855edffc5b9c196a0dd74b1b7d (diff) | |
Fix fetching of tags.
"git fetch tag <tag>" stored a tag after dereferencing. Bad.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-fetch-script')
| -rwxr-xr-x | git-fetch-script | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-fetch-script b/git-fetch-script index d55cc85620..b581dc4cd6 100755 --- a/git-fetch-script +++ b/git-fetch-script @@ -53,8 +53,8 @@ append_fetch_head () { # 2.6.11-tree tag would not be happy to be fed to resolve. if git-cat-file commit "$head_" >/dev/null 2>&1 then - head_=$(git-rev-parse --verify "$head_^0") || exit - note_="$head_ $remote_name_ from $remote_nick_" + headc_=$(git-rev-parse --verify "$head_^0") || exit + note_="$headc_ $remote_name_ from $remote_nick_" echo "$note_" >>$GIT_DIR/FETCH_HEAD echo >&2 "* committish: $note_" else |