summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 20a3847)
raw | patch | inline | side by side (parent: 20a3847)
author | Santi Béjar <sbejar@gmail.com> | |
Sun, 1 Oct 2006 03:34:17 +0000 (05:34 +0200) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Sun, 1 Oct 2006 05:13:28 +0000 (22:13 -0700) |
Signed-off-by: Santi Béjar <sbejar@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-merge.sh | patch | blob | history | |
git-resolve.sh | patch | blob | history |
diff --git a/git-merge.sh b/git-merge.sh
index 5b34b4de99c33a99dfb841795baced8889f74a88..49c46d55df3491460864b3afd751258ec8ec97c7 100755 (executable)
--- a/git-merge.sh
+++ b/git-merge.sh
;;
?,1,"$head",*)
# Again the most common case of merging one remote.
- echo "Updating from $head to $1"
+ echo "Updating $(git-rev-parse --short $head)..$(git-rev-parse --short $1)"
git-update-index --refresh 2>/dev/null
new_head=$(git-rev-parse --verify "$1^0") &&
git-read-tree -u -v -m $head "$new_head" &&
diff --git a/git-resolve.sh b/git-resolve.sh
index 729ec65dc9e0ddebfe81fb4d837a5f9c83b537ee..36b90e38494eb79b4859cf59301b5a4e6ccccea1 100755 (executable)
--- a/git-resolve.sh
+++ b/git-resolve.sh
exit 0
;;
"$head")
- echo "Updating from $head to $merge"
+ echo "Updating $(git-rev-parse --short $head)..$(git-rev-parse --short $merge)"
git-read-tree -u -m $head $merge || exit 1
git-update-ref -m "resolve $merge_name: Fast forward" \
HEAD "$merge" "$head"