mirror of
https://github.com/git/git.git
synced 2026-01-12 19:53:09 +00:00
Log ref changes made by git-merge and git-pull.
When git-merge updates HEAD as a result of a merge record what happened during the merge into the reflog associated with HEAD (if any). The log reports who caused the update (git-merge or git-pull, by invoking git-merge), what the remote ref names were and the type of merge process used. The merge information can be useful when reviewing a reflog for a branch such as `master` where fast forward and trivial in index merges might be common as the user tracks an upstream. Signed-off-by: Shawn O. Pearce <spearce@spearce.org> Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
committed by
Junio C Hamano
parent
ed0e078f96
commit
e1447e38c0
@@ -102,5 +102,6 @@ case "$strategy_args" in
|
||||
esac
|
||||
|
||||
merge_name=$(git-fmt-merge-msg <"$GIT_DIR/FETCH_HEAD") || exit
|
||||
git-merge $no_summary $no_commit $squash $strategy_args \
|
||||
git-merge "--reflog-action=pull $*" \
|
||||
$no_summary $no_commit $squash $strategy_args \
|
||||
"$merge_name" HEAD $merge_head
|
||||
|
||||
Reference in New Issue
Block a user