>>443
pushを忘れがちというのには同意。
pushされた側でupdateをわすれがちなのもあるよね。