Reverting git default push mode to current because of problems with Vundle