git常用操作

• 删除分支

• 删除本地分支
  git branch -d dev

• 删除本地的远程分支
  git branch -r -d origin/dev

• 删除远程分支
  git push origin --delete dev

• 从服务器中拉取某一分支
  git pull origin dev
  git pull #拉取所有远程分支

• 向服务器中推送某一分支
  git push origin master

• 下载指定分支到本地
  方法一：
  git clone https://github.com/cra-ros-pkg/robot_localization --branch kinetic-devel
  方法二：
  git clone https://github.com/cra-ros-pkg/robot_localization
  git checkout -b kinetic-devel origin/kinetic-devel
  (即 git checkout -b 远程仓库分支名字 origin/远程仓库分支名字)
  git pull