gitの覚え書き（branchのpull）

git pullしたが、新しく追加されたbranchがpullされない問題があったので、調べて見たところ以下のサイトを発見。
blog.inouetakuya.info

以下のコマンドで、新しいbranchをpullし切り替えることができた。

> git branch local_branch_name origin/server_branch_name
> git checkout local_branch_name