Per git, I changed default push to current

Git recommended that if you use the older version of git, then to use
current as the default push since that's closest to simple, which was
introduced in Git v1.7.11.