gitconfig: add default push argument

Then, the changes will be pushed the remote tracking branch.