如何判断一个分支是否已合并到master分支