Make jedi-vim behave better
Make git push do the right thing