dot.gitconfig: added push configuration