GIT修改遠程分支名稱:
git push -delete <branchName>
刪除分支
git branch -m <originBranchName> <newBranchName>
修改分支名稱
git push origin <newBranchName>
提交到遠程分支
GIT查看分支:
git branch :查看分支
check <branchName> :切換到branchName()分支上
git push -delete <branchName>
刪除分支
git branch -m <originBranchName> <newBranchName>
修改分支名稱
git push origin <newBranchName>
提交到遠程分支
git branch :查看分支
check <branchName> :切換到branchName()分支上
https://github.com/zhangbo2008/Trie_with_informationExtraction_and_fuzzy_matchingv2