删除远程分支（有好几种方法，不唯一）
git push origin(远程源) --delete f_xxx(远程分支)

拉取远程分支并在本地建立同名分支
git checkout -b origin_xxx(本地分支名) origin/origin_xxx(远程源/远程分支)

更改远程源
git remote set-url origin(远程源) https://github.com/USERNAME/REPOSITORY.git(新远程源地址)

更改远程源后，更新远程分支列表(否者git branch -a，列出的远程分支还是之前远程源的)
git remote prune origin(远程源)

更改远程源后，再次push/pull报错：git refusing to merge unrelated histories
如果没有master push权限，需要删除master分支，重新拉取远程源的master分支:
git branch -D master
git checkout -b master origin/master

然后将本地master分支merge到自己分支:
git checkout f_xxx(本地自己分支)
git merge master --allow-unrelated-histories

git 合并部分文件(想把分支f_a的某些文件，变成分支f_b的)
git checkout f_b
git diff --stat (--stat可以列出f_b和f_a哪些文件不同，方便下一步复制<paths>)
git checkout f_a <paths>