git addしてgit commitして安心してしまったので他のマシンからgit pullできない。やっぱり__git_ps1入れんとなあ…
@c83783e4 ずっと愛用してたんですが、「あれ、そんな機能あったっけ?」と調べて今GIT_PS1_SHOWUPSTREAMを知りました。これ良さそうですねー!後で入れてみよう