待优化：mono sync 时，忽略已合并的分支

问题描述

在 GitLab 远端合并分支后，分支随即会被删除，但本地的 branch.remote 依旧有值，这导致 mono sync 时会报错找不到远程分支。

解决方案

很简单，在 mono sync 执行 git pull 前，不光判断 branch.remote 是否有配置，还要判断这个配置是否存在于 remote 中。