gitconfig: teach set-upstream to setup a pushurl for origin too