something reasonable for git pushes, given that I usually push the
branch I'm currently on
remove eclim since I broke it