3 回答

TA貢獻1805條經驗 獲得超9個贊
您可以使用git merge-base命令查找兩個分支之間的最新公共提交。如果該提交與您的分支頭相同,則分支已完全合并。
需要注意的是git branch -d做這樣的事情已經因為它會拒絕刪除該分支還沒有已經完全合并。

TA貢獻1811條經驗 獲得超6個贊
我正在使用以下bash函數,例如: git-is-merged develop feature/new-feature
git-is-merged () {
merge_destination_branch=$1
merge_source_branch=$2
merge_base=$(git merge-base $merge_destination_branch $merge_source_branch)
merge_source_current_commit=$(git rev-parse $merge_source_branch)
if [[ $merge_base = $merge_source_current_commit ]]
then
echo $merge_source_branch is merged into $merge_destination_branch
return 0
else
echo $merge_source_branch is not merged into $merge_destination_branch
return 1
fi
}
- 3 回答
- 0 關注
- 2881 瀏覽
添加回答
舉報