基于远程dev派生出本地分支

 git checkout -b dev origin/dev，作用是checkout远程的dev分支，在本地起名为dev分