git remote set-head origin some_branch
如何切换git的HEAD分支
原文：https://www.cnblogs.com/qiyuexin/p/12783761.html
