2013-05-22 local repository をよいかんじに remote に同期させる git update git git-update というコマンドがあるわけではありません。エイリアスです github などで PR ベースのチーム開発をしていると、頻繁に branch を切り、 push し、それを誰かが master に merge し、 PR の branch を消す、という流れが発生する。 チームの規模にもよるが、小規模〜中規模なチームでも日によっては5回じゃ効かない。 これを繰替えしているとどうなるかというと、私のようにズボラな場合、 ローカルに、マージ済みの branch がたまる branch 名の補完がききにくくなり、 TAB をばかばか連打して隣の人におこられたり、キーボードがこわれて怒られたりする いつのまにか master が更新されていて、追従する