hide push/popd message. make git pull working with older git version