Default Git push to 'simple' behavior

Prepare for Git 2.0. Default pushes of the current branch to the corresponding
remote branch that 'git pull' uses to update the current branch.