提交 180b0d74 编写于 作者: O Olaf Hering 提交者: Junio C Hamano

allow double click on current HEAD id after git-pull

Double click on to current HEAD commit id is not possible,
the dot has to go.

[jc: by popular requests.]
Signed-off-by: NJunio C Hamano <junkio@cox.net>
上级 f61c2c97
......@@ -131,7 +131,7 @@ case "$#,$common,$no_commit" in
;;
1,"$head",*)
# Again the most common case of merging one remote.
echo "Updating from $head to $1."
echo "Updating from $head to $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" &&
......
......@@ -41,7 +41,7 @@ case "$common" in
exit 0
;;
"$head")
echo "Updating from $head to $merge."
echo "Updating from $head to $merge"
git-read-tree -u -m $head $merge || exit 1
git-update-ref HEAD "$merge" "$head"
git-diff-tree -p $head $merge | git-apply --stat
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册