Git

git fetchしたときにremoteに存在しないbranchはlocalでも削除する

More than 5 years have passed since last update.

ふつうgit fetchでは他人が削除したremoteのブランチを消してくれないが、

% git fetch -p

とすればローカルのブランチをremoteに合わせて、remoteで消されてるものはローカルでも削除する、という動きをする。

% git fetch --help

-p, --prune
After fetching, remove any remote-tracking branches which no longer exist on the remote.