Adding default push (simple, as will be default in Git 2.0)