vim: fix python3 testing shortcut
git: push tags by default