adding push alias to gitconfig